- Filippo Sestini, Silvia Crafa. Proof search in a context-sensitive logic for molecular biology. Journal of Logic and Computation, 28(7):1565-1600, 2018.
- Nicola Angius, Giuseppe Primiero. The logic of identity and copy for computational artefacts. Journal of Logic and Computation, 28(6):1293-1322, 2018.
- Arnold Beckmann, Norbert Preining. Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning. Journal of Logic and Computation, 28(6):1125-1187, 2018.
- Xin Sun 0001. Proof theory, semantics and algebra for normative systems. Journal of Logic and Computation, 28(8):1757-1779, 2018.
- Natasha Alechina, Fenrong Liu, Brian Logan. Efficient minimal preference change. Journal of Logic and Computation, 28(8):1715-1733, 2018.
- Giorgio Magri. A note on phonological similarity in Tesar's (2014) theory of output-drivenness. Journal of Logic and Computation, 28(6):1243-1274, 2018.
- Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama. The strength of SCT soundness. Journal of Logic and Computation, 28(6):1217-1242, 2018.
- Kaya Deuser, Pavel Naumov. Navigability with intermediate constraints. Journal of Logic and Computation, 28(7):1647-1670, 2018.
- Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz. The universal homogeneous binary tree. Journal of Logic and Computation, 28(1):133-163, 2018.
- Rosalie Iemhoff. Terminating sequent calculi for two intuitionistic modal logics. Journal of Logic and Computation, 28(7):1701-1712, 2018.