PP-2007-06: Inference in Action

PP-2007-06: van Benthem, Johan (2007) Inference in Action. [Report]

Text (Full Text)

Download (214kB) | Preview
[img] Text (Abstract)

Download (904B)


Substructural logics describe varieties of inference that humans can engage in within specific settings. One such setting are dynamic state transitions when processing information. We recall the complete set of (non-monotonic, non-commutative, non-contractive) structural rules for dynamic 'update-to-test inference', and the proof of its completeness for the specific area of epistemic update. Then we broaden our discussion to make a case that polymodal logic itself is a good substructural theory of 'plan inference'. Next, we turn to concrete model-changing notions of inference, as proposed by Lindstroem and Barwise & van Benthem, and discuss their connection with model-theoretic results on interpolation and conservative extension.

Item Type: Report
Report Nr: PP-2007-06
Series Name: Prepublication (PP) Series
Year: 2007
Uncontrolled Keywords: structural rules; dynamic logic; epistemic update; ; representation; interpolation; model change
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/240

Actions (login required)

View Item View Item