Propositional logic based on the dynamics of disbelief

Gärdenfors' (1984) epistemic modelling of intuitionistic propositional logic interprets propositions as functions from belief states to belief states. In this paper we generalise his approach by including also disbelief, or rejection, as a basic epistemic attitude. Propositions are here defined...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Pearce, David, Rautenberg, Wolfgang
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Belief Revision Belief State Canonical Model Epistemic State Intuitionistic Logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!