1941 search results - page 37 / 389 » Reasoning about Computations Using Two-Levels of Logic |
106
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
162
click to vote
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...
118
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
136
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
128
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...