BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE
From MaRDI portal
Publication:5176164
DOI10.1017/S1755020314000276zbMath1331.03022MaRDI QIDQ5176164
Publication date: 2 March 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Cites Work
- From classical to intuitionistic probability
- Generalized probabilism: Dutch books and accuracy domination
- The semantics of entailment. II
- The semantics of entailment. III
- Substructural logics: a primer
- Intuitive semantics for first-degree entailments and `coupled trees'
- A paraconsistent theory of belief revision
- Kripke models for linear logic
- An alternative semantics for quantified relevant logic
- The geometry of non-distributive logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE