Email this article On interval modal logic with “after” relation
- Authors: Chizhov A.S.1
-
Affiliations:
- Federal State Unitary Enterprise “Organization ‘Agat’”
- Issue: Vol 52, No 2 (2016)
- Pages: 166-177
- Section: Large Systems
- URL: https://journal-vniispk.ru/0032-9460/article/view/166290
- DOI: https://doi.org/10.1134/S003294601602006X
- ID: 166290
Cite item
Open Access
Access granted
Subscription Access
Abstract
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.
About the authors
A. S. Chizhov
Federal State Unitary Enterprise “Organization ‘Agat’”
Author for correspondence.
Email: chizhov.mm@gmail.com
Russian Federation, Moscow
Supplementary files
