One-Step Modal Logics, Intuitionistic and Classical, Part 2.

Harold T. Hodes

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

Keyphrases

modal logic
classical logic
decision procedures
temporal logic
inference rules
epistemic logic
situation calculus
nonmonotonic logics
default logic
artificial intelligence
theorem prover
dynamic logic
cooperative
fuzzy logic
model checking