Sign in
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
Alessandro Artale
Jean Christoph Jung
Andrea Mazzullo
Ana Ozaki
Frank Wolter
Published in:
ACM Trans. Comput. Log. (2023)
Keyphrases
</>
modal logic
classical logic
temporal logic
decision procedures
inference rules
modal operators
number restrictions
nonmonotonic logics
description logics
epistemic logic
precise definition
high level
dynamic programming
fuzzy sets
situation calculus
propositional logic