PP-2007-06: Inference in Action

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

[thumbnail of Full Text]
Text (Full Text)

Download (214kB) | Preview
[thumbnail of Abstract] 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

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 van 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