A Modal Logic for Non-Deterministic Discourse Processing.

Published in: J. Log. Lang. Inf. (1999)

Keyphrases

modal logic
temporal logic
decision procedures
classical logic
inference rules
conditional logic
default logic
nonmonotonic logics
epistemic logic
data processing
situation calculus
real time
explanation based generalization
dynamic logic
autoepistemic logic
computer mediated
logic programming