A Hybridization of Irreflexive Modal Logics

DOI10.1016/j.entcs.2006.11.028zbMath1278.03045OpenAlexW2019816591MaRDI QIDQ2867951

Sano Katsuhiko

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.11.028

zbMATH Keywords

modal logichybrid logicKripke completenessfinite frame propertyGabbay-style ruleGoldblatt-Thomason-style characterizationmodality for irreflexivity

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specifying message passing and time-critical systems with temporal logic
• Nominal tense logic
• Axiomatising the logic of computer programming
• Model theory.
• Modal logic with names
• Hybrid languages
• Semantical characterizations for irreflexive and generalized modal languages
• Interpolation for extended modal languages

This page was built for publication: A Hybridization of Irreflexive Modal Logics