25 search results - page 1 / 5 » A Fibred Tableau Calculus for Modal Logics of Agents |
DALT
2006
Springer
13 years 8 months ago
2006
Springer
TABLEAUX
1998
Springer
13 years 9 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
CLIMA
2007
13 years 6 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
TABLEAUX
2009
Springer
13 years 11 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...