2766 search results - page 11 / 554 » Hybridizing a Logical Framework |
STACS
2007
Springer
14 years 3 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
RSCTC
2000
Springer
14 years 1 months ago
2000
Springer
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...
LOGCOM
2006
13 years 9 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
14 years 4 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...