Note on Extending Congruential Modal Logics.

Lloyd Humberstone

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
classical logic
conditional logic
situation calculus
default logic
theorem proving
random numbers
bayesian networks
logic programming
random number