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]

[thumbnail of Full Text]
Text (Full Text)

Download (110kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (507B)


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