13 search results - page 1 / 3 » Undecidability of Propositional Separation Logic and Its Nei... |
LICS
2010
IEEE
13 years 9 months ago
2010
IEEE
JSYML
2002
13 years 10 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
CSL
2008
Springer
14 years 19 days ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...