PP-2007-06: van Benthem, Johan (2007) Inference in Action. [Report]
Preview |
Text (Full Text)
PP-2007-06.text.pdf Download (214kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2007-06.abstract.txt Download (904B) |
Abstract
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 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 |
