The Modal Logic of Stone Spaces: diamond as derivative.

Guram Bezhanishvili Leo Esakia David Gabelaia

Published in: Rev. Symb. Log. (2010)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
default logic
nonmonotonic logics
epistemic logic
situation calculus
classical logic
dynamic logic
conditional logic
cooperative
data model
description logic alc