The Problem of Interpreting Modal Logic.

Willard Van Orman Quine

Published in: J. Symb. Log. (1947)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
conditional logic
classical logic
epistemic logic
dynamic logic
default logic
expert systems
natural language
modal operators
prime implicates
description logic alc