Slide-1 Modal Logic and Its applications Cheng-Chia Chen Department of Computer Science, National Cheng-Chi University.
