Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse

DOI10.1007/978-3-540-71070-7_18MaRDI QIDQ3541703zbMATH OpenOpenAlexFDO

Authors Mark Kaminski, Gert Smolka

Publication date 27 November 2008

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71070-7_18

zbMATH Keywords

conversedecision proceduresdifference modalityhybrid logicmodal logictableau systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• Terminating tableau systems for hybrid logic with difference and converse
• Decision procedures for some strong hybrid logics
• Hybrid tableaux for the difference modality
• Termination for Hybrid Tableaus
• Terminating Tableau Calculi for Hybrid Logics Extending K

Cites work

• A description logic with transitive and inverse roles and role hierarchies
• A guide to completeness and complexity for modal logics of knowledge and belief
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Derivation rules as anti-axioms in modal logic
• Exploring properties of normal multimodal logics in simple type theory with \texttt{Leo-II}
• EXPtime tableaux for ALC
• EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
• Higher-order syntax and saturation algorithms for hybrid logic
• scientific article; zbMATH DE number 140398 (Why is no real title available?)
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 6900696 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Hybrid tableaux for the difference modality
• Modal definability in enriched languages
• Modal logic
• Modal logic with names
• On the Restraining Power of Guards
• Practical reasoning for very expressive description logics
• Strongly analytic tableaux for normal modal logics
• Tableau methods of proof for modal logics
• Tableau-based Decision Procedures for Hybrid Logic
• Termination for Hybrid Tableaus
• The computational complexity of hybrid temporal logics
• The modal logic of inequality

Cited in

(7)

• Terminating tableau systems for hybrid logic with difference and converse
• Terminating Tableau Calculi for Hybrid Logics Extending K
• Hybrid tableaux for the difference modality
• scientific article; zbMATH DE number 6747949 (Why is no real title available?)
• Termination for Hybrid Tableaus
• Terminating Tableaux for Hybrid Logic with Eventualities
• Hybrid logic with the difference modality for generalisations of graphs

This page was built for publication: Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse

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