386 search results - page 13 / 78 » Coalgebraic Hybrid Logic |
133
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
150
click to vote
CALCO
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
176
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
170
click to vote
TABLEAUX
1999
Springer
15 years 11 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...
154
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...