A note on the axiomatisation of brouwersche modal logic.

Raymond E. Jennings

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

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
epistemic logic
default logic
situation calculus
nonmonotonic logics
conditional logic
model checking
description logic alc
modal operators
machine learning
bayesian networks