3891 search results - page 267 / 779 » A logic for strategic reasoning |
195
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
162
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
177
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
178
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
174
click to vote
LICS
2006
IEEE
16 years 19 days ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...