The Power of the Filtration Technique for Modal Logics with Team Semantics.
Martin LückPublished in: CSL (2017)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- kripke models
- autoepistemic logic
- decision procedures
- modal operators
- dynamic logic
- temporal logic
- inference rules
- model theoretic
- power consumption
- default logic
- classical logic
- situation calculus
- agent oriented programming language
- formal semantics
- model checking
- nonmonotonic reasoning
- reasoning tasks
- multi agent
- default reasoning
- team members
- action theories
- satisfiability problem
- logic programming
- sequent calculus
- data model
- multi agent systems