3515 search results - page 136 / 703 » On the semantics of Strategy Logic |
205
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...
204
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
210
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
183
click to vote
APAL
2002
15 years 7 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
169
click to vote
IJCINI
2007
15 years 7 months ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...