Logics with Multiteam Semantics.
Erich GrädelRichard WilkePublished in: ACM Trans. Comput. Log. (2022)
Keyphrases
- propositional dynamic logic
- epistemic logic
- conditional logic
- proof theory
- nonmonotonic logics
- modal logic
- expressive power
- logic programming
- valued semantics
- proof theoretic
- model checking
- computational properties
- higher order logic
- belief revision
- inference rules
- nonmonotonic reasoning
- formal semantics
- semantic information
- kripke models
- proof procedures
- intuitionistic logic
- modal operators
- dynamic logic
- knowledge representation formalisms
- graphical representation
- default reasoning
- default logic
- first order logic
- logic programs
- xml documents