224 search results - page 20 / 45 » Structural Operational Semantics and Modal Logic, Revisited |
183
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
ISTA
2008
15 years 1 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
IGPL
2010
14 years 9 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
132
click to vote
AMSTERDAM
2009
14 years 9 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
102
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...