Approximations of modal logics: \(\mathbf K\) and beyond

DOI10.1016/j.apal.2007.11.009zbMath1138.03018OpenAlexW2132862307MaRDI QIDQ2478556

Marcelo Finger, Guilherme de Souza Rabello

Publication date: 28 March 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2007.11.009

zbMATH Keywords

modal logicsingle step tableauxapproximated inference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35)

Related Items

Approximations of modal logics: \(\mathbf K\) and beyond

Cites Work

• Cut and pay
• Proof methods for modal and intuitionistic logics
• Belief, awareness, and limited reasoning
• An algebraic theory of normal forms
• Tractable reasoning via approximation
• First-order modal logic
• Single step tableaux for modal logics. Computational properties, complexity and methodology
• The universe of propositional approximations
• Approximations of modal logics: \(\mathbf K\) and beyond
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item