Login / Signup
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic.
Tarek Sayed Ahmed
Published in:
J. Appl. Non Class. Logics (2020)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
conditional logic
nonmonotonic logics
explanation based generalization
classical logic
epistemic logic
default logic
situation calculus
dynamic logic
spatial reasoning
cooperative
prime implicates
topological spaces
description logic alc