@article{Kovač_2009, title={First-order belief and paraconsistency}, volume={18}, url={https://apcz.umk.pl/LLP/article/view/LLP.2009.008}, DOI={10.12775/LLP.2009.008}, abstractNote={A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau system with labels, signs, and suffixes is defined, extending the basic language L<sub>QB</sub> by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since φ ∧ ¬φ does not “explode” with arbitrary syntactic consequences.}, number={2}, journal={Logic and Logical Philosophy}, author={Kovač, Srećko}, year={2009}, month={Nov.}, pages={127–143} }