Non-Deterministic Many-Valued Modal Logic.

Thomas Macaulay Ferguson

Published in: ISMVL (2022)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
default logic
conditional logic
situation calculus
modal operators
dynamic logic
prime implicates
natural language