Completely separable MAD families and the Modal Logic of βω.

Tomás Lávicka Jonathan L. Verner

Published in: J. Symb. Log. (2022)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
nonmonotonic logics
dynamic logic
modal operators
default logic
model checking
machine learning
situation calculus
conditional logic
autoepistemic logic
dynamic programming
database systems