On interval modal logic with ``after relation

DOI10.1134/S003294601602006XzbMath1384.03112OpenAlexW2465096289MaRDI QIDQ2364466

A. S. Chizhov

Publication date: 21 July 2017

Published in: Problems of Information Transmission (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s003294601602006x

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Intervals and tenses
• Interval semantics for tense logic: Some remarks
• Sequential method in quantum logic
• A propositional modal logic of time intervals
• Logics containing K4. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On interval modal logic with ``after relation