Login / Signup
About the unification types of the modal logics determined by classes of deterministic frames.
Philippe Balbiani
Çigdem Gencer
Maryam Rostamigiv
Tinko Tinchev
Published in:
CoRR (2020)
Keyphrases
</>
modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
theorem proving
epistemic logic
classical logic
autoepistemic logic
higher order
automated reasoning
artificial intelligence
moving objects
default logic