On interval modal logic with “after” relation
- 36 Downloads
This paper is devoted to study of the logic corresponding to intervals of the real line, where the modality is interpreted as “after.” Since this logic is finitely axiomatizable, the proof of the finite model property given in the paper implies its decidability. Also, a description of the class of finite rooted Kripke frames corresponding to this logic is provided.
Unable to display preview. Download preview PDF.
- 5.Shapirovsky, I. and Shehtman, V., Chronological Future Modality in Minkowski Spacetime, Advances in Modal Logic, vol. 4, Balbiani, P., Suzuki, N.-Y., Wolter, F., and Zakharyaschev, M., Eds., London: King’s Coll. Publ., 2003, pp. 437–459.Google Scholar