- Inference in action
- Publications de l'Institut Mathématique - Nouvelle Série
- Volume | Issue number
- 82 | 96
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
Substructural logics arise whenever classical logic is put to new uses, and logicians from Serbia have been in the fore-front here. In this paper, we join the substructural tradition with another recent trend, viz. dynamic logic of information update. We show how these two approaches fit together, in particular, through a number of representation theorems concerning structural rules. The proper background for these results turn out to be modal and dynamic logics of cross-model relations. We connect this finding with recent accounts of generalized inference, interpolation, and preservation results.
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.