On some modal logics related to the Ł-modal system.

Robert L. Wilson

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

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
nonmonotonic logics
conditional logic
situation calculus
default logic
sequent calculus
cooperative
artificial intelligence
model checking
search algorithm
modal operators
dynamic logic
multi agent