PP-2005-12: From Onions to Broccoli: Generalizing Lewis's counterfactual logic

PP-2005-12: Girard, Patrick (2005) From Onions to Broccoli: Generalizing Lewis's counterfactual logic. [Report]

[img]
Preview
Text (Full Text)
PP-2005-12.text.pdf

Download (110kB) | Preview
[img] Text (Abstract)
PP-2005-12.abstract.txt

Download (507B)

Abstract

We present a generalization of Segerberg?s onion semantics for belief revision, in which the linearity of the spheres need not occur. The resulting logic is called broccoli logic. We provide a minimal relational logic, introducing a new neighborhood semantics operator. We then show that broccoli logic is a well-known conditional logic, the Burgess-Veltman minimal conditional logic.

Item Type: Report
Report Nr: PP-2005-12
Series Name: Prepublication (PP) Series
Year: 2005
Uncontrolled Keywords: Onions; Broccoli
Depositing User: Benedikt
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/157

Actions (login required)

View Item View Item