Picture for Richard Booth

Richard Booth

Who's the Expert? On Multi-source Belief Change

Add code
Apr 29, 2022
Viaarxiv icon

Revision by Conditionals: From Hook to Arrow

Add code
Jun 29, 2020
Figure 1 for Revision by Conditionals: From Hook to Arrow
Figure 2 for Revision by Conditionals: From Hook to Arrow
Figure 3 for Revision by Conditionals: From Hook to Arrow
Figure 4 for Revision by Conditionals: From Hook to Arrow
Viaarxiv icon

Elementary Iterated Revision and the Levi Identity

Add code
Jul 02, 2019
Figure 1 for Elementary Iterated Revision and the Levi Identity
Figure 2 for Elementary Iterated Revision and the Levi Identity
Viaarxiv icon

On Rational Entailment for Propositional Typicality Logic

Add code
Sep 28, 2018
Figure 1 for On Rational Entailment for Propositional Typicality Logic
Figure 2 for On Rational Entailment for Propositional Typicality Logic
Viaarxiv icon

On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators

Add code
Jul 26, 2018
Figure 1 for On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
Figure 2 for On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
Figure 3 for On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
Viaarxiv icon

Extending the Harper Identity to Iterated Belief Change

Add code
Apr 19, 2016
Viaarxiv icon

Judgment Aggregation in Multi-Agent Argumentation

Add code
Jul 19, 2015
Figure 1 for Judgment Aggregation in Multi-Agent Argumentation
Figure 2 for Judgment Aggregation in Multi-Agent Argumentation
Figure 3 for Judgment Aggregation in Multi-Agent Argumentation
Figure 4 for Judgment Aggregation in Multi-Agent Argumentation
Viaarxiv icon

Abduction and Dialogical Proof in Argumentation and Logic Programming

Add code
Jul 15, 2014
Figure 1 for Abduction and Dialogical Proof in Argumentation and Logic Programming
Viaarxiv icon

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Add code
Jan 16, 2014
Viaarxiv icon

On revising fuzzy belief bases

Add code
Oct 19, 2012
Viaarxiv icon