3. Modal Logic
We refer Based on Chagrov and Zakharyaschev (1997)A. Chagrov and M. Zakharyaschev, 1997. “Modal Logic”. arXiv:...insert arXiv id here..., Segerberg (1971)K. Segerberg, 1971. An Essay in Classical Modal Logic. Ph.D, Stanford University, Hudges and Cresswell (2007)G. E. Hudges and M. J. Cresswell, 2007. “A New Introduction to Modal Logic”. arXiv:...insert arXiv id here..., Boolos (1994)G. Boolos, 1994. “The Logic of Provability”. arXiv:...insert arXiv id here....