A hybridization of irreflexive modal logics

DOI10.1016/J.ENTCS.2006.11.028MaRDI QIDQ2867951zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Semantical characterizations for irreflexive and generalized modal languages
• Modal definability in enriched languages
• Pure extensions, proof rules, and hybrid axiomatics
• Hybrid logics: Characterization, interpolation and complexity
• scientific article; zbMATH DE number 218547

Cites work

• scientific article; zbMATH DE number 4148058 (Why is no real title available?)
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 1975416 (Why is no real title available?)
• Axiomatising the logic of computer programming
• Hybrid languages
• Interpolation for extended modal languages
• Modal logic
• Modal logic with names
• Model theory.
• Nominal tense logic
• Semantical characterizations for irreflexive and generalized modal languages
• Specifying message passing and time-critical systems with temporal logic

Cited in

(4)

• Inequality without irreflexivity
• Hybrid formulas and elementarily generated modal logics
• Reflexive-insensitive modal logics
• Semantical characterizations for irreflexive and generalized modal languages

This page was built for publication: A hybridization of irreflexive modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867951)