3394 search results - page 9 / 679 » A Modal Model of Memory |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
LICS
1994
IEEE
14 years 1 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
MLQ
2002
13 years 9 months ago
2002
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...
MICCAI
2002
Springer
14 years 10 months ago
2002
Springer
This article describes a process to include in a volumetric model various anatomical and mechanical information provided by different sources. Three stages are described, namely a ...
ICALP
1997
Springer
14 years 1 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...