Abstract | ||
---|---|---|
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 as ordered pairs of functions on belief states, representing the attitudes of acceptance and rejection, respectively. For this semantics we obtain strong completeness results wrt the constructive logics of Nelson (1949) and Almukdad and Nelson (1984). |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/BFb0018424 | The Logic of Theory Change |
Keywords | Field | DocType |
propositional logic | Intuitionistic logic,Discrete mathematics,T-norm fuzzy logics,Autoepistemic logic,Classical logic,Modal logic,Epistemology,Well-formed formula,Mathematics,Intermediate logic,Propositional variable | Conference |
Volume | ISBN | Citations |
465 | 3-540-53567-5 | 1 |
PageRank | References | Authors |
0.45 | 2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
David Pearce | 1 | 1 | 0.45 |
Wolfgang Rautenberg | 2 | 90 | 17.27 |