Conventionalist and contingency-oriented modal logics.

Richard Routley

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
situation calculus
classical logic
model checking
conditional logic
default logic
autoepistemic logic
modal operators
theorem prover
theorem proving
nonmonotonic reasoning