Some logics of belief and disbelief


The introduction of explicit notions of rejection, or disbelief, into logics for knowledge representation can be justified in a number of ways. Motivations range from the need for versions of negation weaker than classical negation, to the explicit recording of classic belief contraction operations in the area of belief change, and the additional levels of expressivity obtained from an extended version of belief change which includes disbelief contraction. In this paper we present four logics of disbelief which address some or all of these intuitions. Soundness and completeness results are supplied and the logics are compared with respect to applicability and utility



    Upload a copy of this work     Papers currently archived: 94,385

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.


Added to PP

31 (#510,871)

6 months
6 (#725,871)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Samir Chopra
Brooklyn College (CUNY)

Citations of this work

Comparing strengths of beliefs explicitly.S. Ghosh & D. de Jongh - 2013 - Logic Journal of the IGPL 21 (3):488-514.

Add more citations

References found in this work

No references found.

Add more references