Tree-like constructions in topology and modal logic.

Guram Bezhanishvili Nick Bezhanishvili Joel Lucero-Bryan Jan van Mill

Published in: Arch. Math. Log. (2021)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
tree structure
classical logic
conditional logic
epistemic logic
situation calculus
prime implicates
default logic
explanation based generalization
nonmonotonic logics
dynamic logic
description logic alc
tree nodes
b tree