On constructing fibred tableaux for BDI logics
On constructing fibred tableaux for BDI logics
No Thumbnail Available
Date
2006-01-01
Authors
Padmanabhan, Vineet
Governatori, Guido
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
In [11,13] we showed how to combine prepositional BDI logics using Gabbay's fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. We show how to uniformly construct a tableau calculus for the combined logic using Govematori's labelled tableau system KEM. © Springer-Verlag Berlin Heidelberg 2006.
Description
Keywords
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). v.4099 LNAI