Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
Reasoning about knowledge
Labelled deduction
Journal of Logic, Language and Information
On Fibring Semantics for BDI Logics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Labelled Tableaux for Multi-Modal Logics
TABLEAUX '95 Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Labelled Tableaux for Non-normal Modal Logics
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Fibred BDI logics: completeness preservation in the presence of interaction axioms
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Hi-index | 0.00 |
In [15,19] we showed how to combine propositional multimodal logics using Gabbay's fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/ fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (graph & path), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system KEM. We conclude with a discussion on KEM's features.