348 search results - page 3 / 70 » Justification logics and hybrid logics |
TARK
2009
Springer
13 years 11 months ago
2009
Springer
CADE
2002
Springer
14 years 5 months ago
2002
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
TABLEAUX
1999
Springer
13 years 9 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
TIME
2003
IEEE
13 years 10 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...