A hybridization of irreflexive modal logics

DOI10.1016/J.ENTCS.2006.11.028zbMATH Open1278.03045OpenAlexW2019816591MaRDI QIDQ2867951FDOQ2867951

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

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

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

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nominal tense logic
• Model theory.
• Hybrid languages
• Interpolation for extended modal languages
• Title not available (Why is that?)
• Modal logic with names
• Axiomatising the logic of computer programming
• Specifying message passing and time-critical systems with temporal logic
• Semantical characterizations for irreflexive and generalized modal languages

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)