386 search results - page 18 / 78 » Coalgebraic Hybrid Logic |
RSCTC
2000
Springer
15 years 3 months ago
2000
Springer
LOGCOM
2006
14 years 11 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...
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
JAR
2008
14 years 11 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...
ENTCS
2000
14 years 11 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...