A Fibred Tableau Calculus for Modal Logics of Agents

Padmanabhan, V. and Governatori, G (2006). A Fibred Tableau Calculus for Modal Logics of Agents. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006. Declarative Agent Languages and Technologies IV, DALT 2006, Hakodate, Japan, (105-122). 8 May, 2006.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
dalt06.pdf dalt06.pdf application/pdf 179KB 270

Author Padmanabhan, V.
Governatori, G
Title of paper A Fibred Tableau Calculus for Modal Logics of Agents
Conference Paper Type Fully Published Paper
Conference name Declarative Agent Languages and Technologies IV, DALT 2006    (ERA 2010 Rank B)
DOI 10.1007/11961536_8
Conference location Hakodate, Japan
Conference dates 8 May, 2006
Proceedings title Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006  (ERA 2012 Listed)   Check publisher's open access policy
Journal name Declarative Agent Languages and Technologies IV  (ERA 2012 Listed)   Check publisher's open access policy
Editor Baldoni, Matteo
Endriss, Ulle
Place published Berlin, Germany
Publisher Springer-Verlag
Publication date 2006
Volume number Lecture Notes in Computer Science 4327
Issue number 1
ISBN 978-3-540-68959-1
ISSN 0302-9743
Start page 105
End page 122
Total pages 18
Collection year 2006
Language eng
Abstract/Summary In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{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, (\emph{graph} $\&$ \emph{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.
Subjects 280402 Mathematical Logic and Formal Languages
E1
780100 Non-oriented Research
Keyword lablelled tableaux
fibring
BDI agents
multi-modal logic
Q-Index Code E1
Additional Notes This is an author version of a work originally published as Vineet Padmanabhan and Guido Governatori (2006) A Fibred Tableau Calculus for Modal Logics of Agents, Lecture Notes in Computer Science 4327 : 105-122. DOI: 10.1007/11961536 Copyright 2006 Springer-Verlag. All rights reserved. The original publication is available at www.springerlink.com

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 108 Abstract Views, 270 File Downloads  -  Detailed Statistics
Created: Mon, 02 Apr 2007, 16:05:12 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering