On the semantics of Strategy Logic.
Patricia BouyerPatrick GardyNicolas MarkeyPublished in: Inf. Process. Lett. (2016)
Keyphrases
- logic programming
- proof theory
- sound and complete axiomatization
- propositional dynamic logic
- epistemic logic
- nonmonotonic logics
- sound and complete with respect
- logical framework
- formal semantics
- formal language
- modal logic
- proof theoretic
- operational semantics
- modal operators
- classical logic
- computational properties
- algebraic structure
- higher order logic
- model theoretic
- conditional logic
- multi valued
- conceptual model
- predicate logic
- action theories
- deontic logic
- relational databases
- rule engine
- possibilistic logic
- automated reasoning
- model checking
- alternating time temporal logic