Topological Modal Logics Satisfying Finite Chain Conditions.

Bernhard Heinemann

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

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
sufficient conditions
classical logic
default logic
situation calculus
topological properties
reinforcement learning
finite number
modal operators
dynamic logic