607 search results - page 19 / 122 » Axiomatizing hybrid logic using modal logic |
112
click to vote
APAL
2008
15 years 2 months ago
2008
Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate ...
138
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
103
click to vote
IGPL
2002
15 years 1 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
152
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
AIR
2002
15 years 1 months ago
2002
There is increasing use of combinations of modal logics in both foundational and