A Rewriting Logic Semantics for ATL.
Javier TroyaAntonio VallecilloPublished in: J. Object Technol. (2011)
Keyphrases
- alternating time temporal logic
- model checking
- epistemic logic
- imperfect information
- proof theory
- sound and complete axiomatization
- logic programming
- propositional dynamic logic
- temporal logic
- modal logic
- sound and complete with respect
- nonmonotonic logics
- autoepistemic logic
- dynamic logic
- modal operators
- multi agent systems
- knowledge base
- operational semantics
- algebraic structure
- default reasoning
- rewriting rules
- proof theoretic
- default logic
- derivation rules
- integrity constraints
- multi agent