Modal logics for reasoning about infinite unions and intersections of binary relations

DOI10.1080/11663081.2012.705960MaRDI QIDQ4583172zbMATH OpenOpenAlexFDO

Authors Natasha Alechina, Philippe Balbiani, Dmitry Shkatov

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2012.705960

zbMATH Keywords

filtrationmodal logictableau-based decision proceduresaxiomatic systemsinfinite intersections and unions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• A note on intersection of modalities
• A hierarchy of modal logics with relative accessibility relations
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• scientific article; zbMATH DE number 1222489
• scientific article; zbMATH DE number 218546

Cites work

• scientific article; zbMATH DE number 5295701 (Why is no real title available?)
• scientific article; zbMATH DE number 1989660 (Why is no real title available?)
• A Modal Perspective on Path Constraints
• A guide to completeness and complexity for modal logics of knowledge and belief
• Automated Reasoning with Analytic Tableaux and Related Methods
• Deterministic propositional dynamic logic: finite models, complexity, and completeness
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• Modal logic
• PDL with intersection of programs: a complete axiomatization
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Using resolution for testing modal satisfiability and building models

Cited in

(3)

• A note on intersection of modalities
• Modal logic interpretation of Dempster-Shafer theory: An infinite case
• Complexity of finite-variable fragments of propositional temporal and modal logics of computation

This page was built for publication: Modal logics for reasoning about infinite unions and intersections of binary relations

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