On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.
Matthias HoelzelRichard WilkePublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- proof theory
- propositional dynamic logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- modal logic
- proof theoretic
- logical equivalence
- higher order logic
- proof procedures
- classical logic
- modal operators
- logic programming
- higher order
- default reasoning
- intuitionistic logic
- logical framework
- valued semantics
- dynamic logic
- reasoning about actions
- kripke models
- automated reasoning
- inference rules
- coalition logic
- autoepistemic logic
- computational properties
- nonmonotonic reasoning
- belief revision
- sound and complete axiomatization
- valued logic
- default logic
- propositional logic
- formal semantics
- sound and complete with respect
- team members
- temporal logic
- knowledge representation formalisms
- horn logic
- model theoretic
- tableau calculus
- reasoning problems
- dl lite
- knowledge base
- default theories
- deductive databases
- knowledge representation