483 search results - page 33 / 97 » Intuitionistic hybrid logic |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
HYBRID
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
EPIA
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
JAPLL
2010
13 years 6 months ago
2010
HYBRID
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...