Minimal modal logics, constructive modal logics and their relations.

Tiziano Dalmonte

Published in: CoRR (2023)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
default logic
conditional logic
artificial intelligence
modal operators
kripke models
dynamic logic
situation calculus
search algorithm
horn clauses
probabilistic model
np hard