3394 search results - page 49 / 679 » A Modal Model of Memory |
CAV
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
ENGL
2008
13 years 10 months ago
2008
: This paper presents a method of the reformulation of equations in the inertial frame formulation, used for FEM models of flexible multibody systems, to the floating frame formula...
SYNTHESE
2008
13 years 9 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
CAV
2004
Springer
14 years 3 months ago
2004
Springer
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...