17054 search results - page 109 / 3411 » Logics of Dynamical Systems |
111
Voted
SLOGICA
2002
15 years 4 months ago
2002
In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose -free fragment is th...
128
click to vote
AAAI
2004
15 years 6 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
107
click to vote
FOSSACS
2006
Springer
15 years 8 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 ...
