Slide 1 Slide-1 Modal Logic and Its applications Cheng-Chia Chen Department of Computer Science, National Cheng-Chi University Slide 2 Slide-2 Contents Classical propositional…
