Login / Signup
Extensional Interpretations of Modal Logics.
M. H. Lob
Published in:
J. Symb. Log. (1966)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
dynamic logic
default logic
autoepistemic logic
partial order
database
probabilistic reasoning
model checking
object oriented
search algorithm
reinforcement learning