Special issue on substructural logic and information dynamics: introduction
Olivier Roy, Ole Thomassen Hjortland · Journal of Logic and Computation · 2016
This special issue arose out of two workshops held in Prague and Munich in 2011 and 2013.1 It puts together a number of contributions combining substructrual logic (SL) and dynamic epistemic logic (DEL) in order to address, first, the problem of logical omniscience [10], secondly, the question of interpreting the Routley–Meyer semantics for substructural logic [5], and finally, the challenge of providing a proof theory that enjoys normalization or cut-elimination for DEL [9]. This issue is of course not the first encounter between substructural logic and logical models of information dynamics, but it shows that their relationship is much more than a one-night stand. On the one hand, substructural systems have been extensively used to tackle the logical omniscience problem, in both classical, static epistemic logic and in its dynamic extensions [6]. The first two contributions of this issue are by key contributors in this tradition. Sedlár's paper opens by providing a very general substructural framework for modelling knowledge, its dynamics and its relation to non-mononotic reasoning. Bílkova et al. follow a similar thread, this time generalizing previous work of theirs which makes explicit the sources of one's knowledge and belief.