Characterizing existence of a Measurable cardinal via Modal Logic.

Guram Bezhanishvili Nick Bezhanishvili Joel Lucero-Bryan Jan van Mill

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
situation calculus
nonmonotonic logics
explanation based generalization
default logic
conditional logic
epistemic logic
machine learning
model checking
modal operators
natural language
expert systems