Login / Signup
Justification Logic for Constructive Modal Logic.
Roman Kuznets
Sonia Marin
Lutz Straßburger
Published in:
FLAP (2021)
Keyphrases
</>
modal logic
temporal logic
classical logic
decision procedures
epistemic logic
inference rules
conditional logic
nonmonotonic logics
modal operators
dynamic logic
prime implicates
model checking
default logic
explanation based generalization
expert systems
sequent calculus
description logics
domain knowledge