Separation logic and logics with team semantics.

Darion Haase Erich Grädel Richard Wilke

Published 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