LogAB: A first-order, non-paradoxical, algebraic logic of belief

DOI10.1093/JIGPAL/JZS007zbMath1269.03059OpenAlexW2042154772MaRDI QIDQ3165884

Haythem O. Ismail

Publication date: 19 October 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzs007

zbMATH Keywords

Boolean algebralogic of beliefparadox-freenessparadoxes in syntactical theories of beliefparadoxical self-referenceproposition-denoting terms

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Other algebras related to logic (03G25)

Related Items (2)

Unnamed Item ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions

This page was built for publication: LogAB: A first-order, non-paradoxical, algebraic logic of belief