Continuous Accessibility Modal Logics.

Caleb Camrud Ranpal Dosanjh

Published in: J. Philos. Log. (2023)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
default logic
epistemic logic
model checking
classical logic
conditional logic
dynamic logic
situation calculus
theorem proving
sequent calculus