|
Problemy Peredachi Informatsii, 2016, Volume 52, Issue 2, Pages 72–84
(Mi ppi2205)
|
|
|
|
Large Systems
On interval modal logic with “after” relation
A. S. Chizhov Federal State Unitary Enterprise "Organization 'Agat' "
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.
Received: 15.11.2013 Revised: 11.04.2016
Citation:
A. S. Chizhov, “On interval modal logic with “after” relation”, Probl. Peredachi Inf., 52:2 (2016), 72–84; Problems Inform. Transmission, 52:2 (2016), 166–177
Linking options:
https://www.mathnet.ru/eng/ppi2205 https://www.mathnet.ru/eng/ppi/v52/i2/p72
|
Statistics & downloads: |
Abstract page: | 149 | Full-text PDF : | 54 | References: | 35 | First page: | 6 |
|