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

axiomatic systemsfiltrationinfinite intersections and unionsmodal logictableau-based decision procedures

Mathematics Subject Classification ID

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

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

• A guide to completeness and complexity for modal logics of knowledge and belief
• A Modal Perspective on Path Constraints
• Automated Reasoning with Analytic Tableaux and Related Methods
• Deterministic propositional dynamic logic: finite models, complexity, and completeness
• scientific article; zbMATH DE number 5295701 (Why is no real title available?)
• scientific article; zbMATH DE number 1989660 (Why is no real title available?)
• 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)

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

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)