The Modal Logic of -Centered forcing and Related forcing Classes.

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

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
dynamic logic
modal operators
conditional logic
default logic
autoepistemic logic
situation calculus
relational databases
nonmonotonic logics
sufficient conditions
epistemic logic
higher order
dynamic programming