Clausal Tableaux for Multimodal Logics of Belief

Authors:
Rajeev Goré;Linh Anh Nguyen
Affiliations:
Logic and Computation Group, College of Engineering and Computer Science, The Australian National University, Canberra, ACT, 0200, Australia. Rajeev.Gore@anu.edu.au;(Correspd.) Institute of Informatics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland. nguyen@mimuw.edu.pl
Venue:
Fundamenta Informaticae
Year:
2009

Citing 13
Cited 3

A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Multimodal logic programming using equational and order-sorted logic

Theoretical Computer Science - Selected papers of the Second International Conference on algebraic and logic programming, Nancy, France, October 1–3, 1990
Reasoning about knowledge

Reasoning about knowledge
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Single Step Tableaux for Modal Logics

Journal of Automated Reasoning
Gentzen-type systems and resolution rules. Part I. Propositional logic

COLOG '88 Proceedings of the International Conference on Computer Logic
Labelled Tableaux for Multi-Modal Logics

TABLEAUX '95 Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
A Tableau for Multimodal Logics and Some (Un)Decidability Results

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Improved Decision Procedures for the Modal Logics K, T, and S4

CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Multimodal logic programming

Theoretical Computer Science
Rational Teams: Logical Aspects of Multi-Agent Systems

Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Foundations of Modal Deductive Databases

Fundamenta Informaticae

A Framework for Graded Beliefs, Goals and Intentions

Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Clausal graph tableaux for hybrid logic with eventualities and difference

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Countermodels from Sequent Calculi in Multi-Modal Logics

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop clausal tableau calculi for six multimodal logics variously designed for reasoning about multi-degree belief, reasoning about distributed systems of belief and for reasoning about epistemic states of agents in multi-agent systems. Our tableau calculi are sound, complete, cut-free and have the analytic superformula property, thereby giving decision procedures for all of these logics. We also use our calculi to obtain complexity results for five of these logics. The complexity of the remaining logic was known.