A completeness theorem for continuous predicate modal logic.

Stefano Baratella

Published in: Arch. Math. Log. (2019)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
dynamic logic
nonmonotonic logics
conditional logic
situation calculus
classical logic
relational databases
first order logic
multi agent
object oriented
default logic
explanation based generalization