Decidable Fragments of Logics Based on Team Semantics.
Juha KontinenAntti KuusistoJonni VirtemaPublished in: CoRR (2014)
Keyphrases
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- conditional logic
- epistemic logic
- proof theoretic
- valued semantics
- default reasoning
- expressive power
- proof procedures
- first order logic
- computational properties
- inference rules
- propositional logic
- higher order logic
- valued logic
- agent oriented programming language
- formal semantics
- logic programming
- relational calculus
- model theoretic
- query containment
- default theories
- automated reasoning
- theorem prover
- multi agent systems