Login / Signup
On the Modal Logic of Jeffrey Conditionalization.
Zalán Gyenis
Published in:
Logica Universalis (2018)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
default logic
epistemic logic
classical logic
nonmonotonic logics
prime implicates
autoepistemic logic
conditional logic
explanation based generalization
sequent calculus
dynamic logic
situation calculus
model checking
data model
machine learning