3515 search results - page 29 / 703 » On the semantics of Strategy Logic |
143
click to vote
LOGCOM
2006
15 years 6 months ago
2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
206
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
167
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
162
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...