Symbolic and subsymbolic components in the logic of belief change

@inproceedings{Brki2018SymbolicAS,
  title={Symbolic and subsymbolic components in the logic of belief change},
  author={Slavko Brki{\'c}},
  year={2018}
}
It is important to (i) stress here that if we said for the quantified expression that a truth-making choice of one variable can be made independently of another variable, we actually are out of the first-order epistemic logic. However since such formulas can be reduced to first-order logic we think this should not pose greater problems. More precisely we do not intend to give the final word to the presentation of 

Similar Papers