504 search results - page 24 / 101 » Reasoning about local properties in modal logic |
115
click to vote
LORI
2009
Springer
15 years 6 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
119
click to vote
HYBRID
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
123
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
103
Voted
KR
1998
Springer
15 years 6 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
132
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...