Modal logic with names.

George Gargov Valentin Goranko

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
keywords
nonmonotonic logics
conditional logic
dynamic logic
sequent calculus
situation calculus
default logic
artificial intelligence
desirable properties
prime implicates
reinforcement learning