607 search results - page 19 / 122 » Axiomatizing hybrid logic using modal logic |
74
Voted
APAL
2008
14 years 9 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 ...
107
Voted
FOSSACS
2008
Springer
14 years 11 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...
71
Voted
IGPL
2002
14 years 9 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...
114
click to vote
FMCO
2004
Springer
15 years 3 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
14 years 9 months ago
2002
There is increasing use of combinations of modal logics in both foundational and