Relational Hypersequents for Modal Logics.

Samara Burns Richard Zach

Published in: CoRR (2018)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
classical logic
relational databases
nonmonotonic logics
data model
dynamic logic
situation calculus
default logic
relational data
model checking
modal operators
theorem proving
autoepistemic logic
probabilistic model