Uniform interpolation for propositional and modal team logics.
Giovanna D'AgostinoPublished in: J. Log. Comput. (2019)
Keyphrases
- modal logic
- propositional variables
- nonmonotonic logics
- default logic
- propositional logic
- coalition logic
- cl pc
- autoepistemic logic
- logic programming
- classical first order logic
- dynamic logic
- model checking
- first order logic
- image interpolation
- classical logic
- epistemic logic
- decision procedures
- expressive power
- satisfiability problem
- temporal logic
- logical framework
- inference rules
- linearly ordered
- boolean games
- nonmonotonic reasoning
- logic programs
- default theories
- strips planning
- robotic soccer
- conjunctive normal form
- modal operators
- interpolation methods
- team members
- interpolation method
- proof procedure
- propositional formulas
- cooperating agents
- robot soccer
- conditional logic
- horn clauses
- satisfiability testing
- neural network
- computational properties