Existence, Definedness and Definite Descriptions in Hybrid Modal Logic.

Andrzej Indrzejczak

Published in: AiML (2020)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
high level
default logic
conditional logic
classical logic
nonmonotonic logics
dynamic logic
situation calculus
prime implicates
machine learning
object oriented
domain knowledge
multi agent
kripke models