Login / Signup
On modal logics arising from scattered locally compact Hausdorff spaces.
Guram Bezhanishvili
Nick Bezhanishvili
Joel Lucero-Bryan
Jan van Mill
Published in:
Ann. Pure Appl. Log. (2019)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
hausdorff distance
default logic
conditional logic
situation calculus
model checking
dynamic logic
data model
dynamic programming
distance measure