Sciweavers

5 search results - page 1 / 1
» Terminating Tableaux for Hybrid Logic with the Difference Mo...
Sort
View
CADE
2008
Springer
14 years 4 months ago
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
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...
Mark Kaminski, Gert Smolka
JAPLL
2010
104views more  JAPLL 2010»
12 years 11 months ago
Lightweight hybrid tableaux
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...
Guillaume Hoffmann
TABLEAUX
2009
Springer
13 years 11 months ago
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
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...
Mark Kaminski, Sigurd Schneider, Gert Smolka
JAPLL
2010
85views more  JAPLL 2010»
12 years 11 months ago
Hybrid logic with the difference modality for generalisations of graphs
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
Robert S. R. Myers, Dirk Pattinson
TABLEAUX
2009
Springer
13 years 11 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...