Inference in action
Keyword(s):
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.
Keyword(s):
2005 ◽
Vol 70
(4)
◽
pp. 1072-1086
◽
Keyword(s):
2008 ◽
Vol 18
(1)
◽
pp. 81-105
◽
Keyword(s):
2018 ◽
Vol 29
(8)
◽
pp. 1177-1216
Keyword(s):
Keyword(s):