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

DOI10.1080/11663081.2012.705960zbMATH Open1398.03084OpenAlexW2062671167MaRDI QIDQ4583172FDOQ4583172

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

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

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)

Cites Work

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

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)