Login / Signup
Modal Logics of Stone Spaces.
Guram Bezhanishvili
John Harding
Published in:
Order (2012)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
epistemic logic
nonmonotonic logics
classical logic
default logic
conditional logic
model checking
situation calculus
dynamic logic
business rules