Geodesic
Inference in Action
Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 3 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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.
Classification : 03B45 03B47 03B60
Keywords: Modal logic, dynamic logic, non-classical logic, model theory 
@article{PIM_2007_N_S_82_96_a1,
     author = {Johan van Benthem},
     title = {Inference in {Action}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {3 },
     publisher = {mathdoc},
     volume = {_N_S_82},
     number = {96},
     year = {2007},
     zbl = {1224.03004},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_2007_N_S_82_96_a1/}
}
TY  - JOUR
AU  - Johan van Benthem
TI  - Inference in Action
JO  - Publications de l'Institut Mathématique
PY  - 2007
SP  - 3 
VL  - _N_S_82
IS  - 96
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_2007_N_S_82_96_a1/
LA  - en
ID  - PIM_2007_N_S_82_96_a1
ER  - 
%0 Journal Article
%A Johan van Benthem
%T Inference in Action
%J Publications de l'Institut Mathématique
%D 2007
%P 3 
%V _N_S_82
%N 96
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_2007_N_S_82_96_a1/
%G en
%F PIM_2007_N_S_82_96_a1
Johan van Benthem. Inference in Action. Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 3 . http://geodesic.mathdoc.fr/item/PIM_2007_N_S_82_96_a1/