504 search results - page 36 / 101 » Reasoning about local properties in modal logic |
126
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
162
Voted
KR
1991
Springer
15 years 5 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
109
Voted
DEON
2004
Springer
15 years 7 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
104
click to vote
ENTCS
2008
15 years 1 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
104
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...