151 search results - page 11 / 31 » Modular Construction of Modal Logics |
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
ESOP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data ļ¬ow analysis in the speciļ¬cation language of the Coq proof assistant. This involves deļ¬ning a dependent type of lat...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
We combine ļ¬rst-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
141
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...