Separation logic and logics with team semantics.
Darion HaaseErich GrädelRichard WilkePublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- propositional dynamic logic
- proof theory
- epistemic logic
- nonmonotonic logics
- conditional logic
- modal logic
- proof theoretic
- default reasoning
- modal operators
- valued semantics
- proof procedures
- higher order logic
- dynamic logic
- intuitionistic logic
- kripke models
- logic programming
- classical logic
- reasoning about actions
- default logic
- logical framework
- inference rules
- computational properties
- knowledge representation formalisms
- sound and complete axiomatization
- model checking
- formal semantics
- sound and complete with respect
- valued logic
- belief revision
- multi agent systems
- situation calculus
- proof procedure
- autoepistemic logic
- model theoretic
- automated reasoning
- tableau calculus
- expressive power
- coalition logic
- predicate logic
- consistent query answering
- default theories
- nonmonotonic reasoning
- logic programs
- classical first order logic
- description logics
- knowledge base