Problems of Information Transmission

, Volume 52, Issue 2, pp 166–177 | Cite as

On interval modal logic with “after” relation

  • A. S. Chizhov
Large Systems


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.

Unable to display preview. Download preview PDF.


  1. 1.
    Humberstone, I.L., Interval Semantics for Tense Logic: Some Remarks, J. Philos. Logic, 1979, vol. 8, no. 1, pp. 171–196.MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Nishimura, H., Sequential Method in Quantum Logic, J. Symbolic Logic, 1980, vol. 45, no. 2, pp. 339–352.MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Röper, P., Intervals and Tenses, J. Philos. Logic, 1980, vol. 9, no. 4, pp. 451–469.MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Halpern, J.Y. and Shoham, Y., A Propositional Modal Logic of Time Intervals, J. ACM, 1991, vol. 38, no. 4, pp. 935–962.MathSciNetCrossRefzbMATHGoogle Scholar
  5. 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
  6. 6.
    Bresolin, D., Goranko, V., Montanari, A., and Sciavicco, G., Propositional Interval Neighborhood Logics: Expressiveness, Decidability and Undecidable Extensions, Ann. Pure Appl. Logic, 2009, vol. 161, no. 3, pp. 289–304.MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Chagrov, A. and Zakharyaschev, M., Modal Logic, Oxford: Clarendon; New York: Oxford Univ. Press, 1997.zbMATHGoogle Scholar
  8. 8.
    Blackburn, P., de Rijke, M., and Venema, Y., Modal Logic, Cambridge: Cambridge Univ. Press, 2001.CrossRefzbMATHGoogle Scholar
  9. 9.
    Fine, K., Logics Containing K4.Part I, J.Symbolic Logic, 1974, vol. 39, no. 1, pp. 31–42.MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Pleiades Publishing, Inc. 2016

Authors and Affiliations

  1. 1.Federal State Unitary Enterprise “Organization ‘Agat’”MoscowRussia

Personalised recommendations