56 search results - page 2 / 12 » A Road-Map on Complexity for Hybrid Logics |
CSL
2005
Springer
13 years 10 months ago
2005
Springer
CORR
2008
Springer
13 years 5 months ago
2008
Springer
IGPL
2000
13 years 4 months ago
2000
LOGCOM
2006
13 years 4 months ago
2006
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...
JAR
2008
13 years 5 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...