Sciweavers

14 search results - page 1 / 3
» japll 2010
Sort
View
JAPLL
2010
74views more  JAPLL 2010»
13 years 6 months ago
Axiomatizing hybrid logic using modal logic
Ian Hodkinson, Louis Paternault
JAPLL
2010
104views more  JAPLL 2010»
13 years 2 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
JAPLL
2010
85views more  JAPLL 2010»
13 years 2 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
JAPLL
2010
133views more  JAPLL 2010»
13 years 6 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez
JAPLL
2010
131views more  JAPLL 2010»
13 years 6 months ago
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
Willem Conradie, Valentin Goranko, Dimiter Vakarel...