- Thomas Powell. Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice. Journal of Logic and Computation, 29(4):519-554, 2019.
- Giuseppe Primiero. A logic of efficient and optimal designs. Journal of Logic and Computation, 29(6):947-968, 2019.
- Jens Ulrik Hansen. Reasoning about opinion dynamics in social networks. Journal of Logic and Computation, 29(7):1121-1137, 2019.
- Chung-hye Han, Sara Williamson, Logan Born, Anoop Sarkar. An analysis of clausal coordination using synchronous tree adjoining grammar. Journal of Logic and Computation, 29(1):91-123, 2019.
- Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema. Model checking and validity in propositional and modal inclusion logics. Journal of Logic and Computation, 29(5):605-630, 2019.
- Henning Basold, Helle Hvid Hansen. Well-definedness and observational equivalence for inductive-coinductive programs. Journal of Logic and Computation, 29(4):419-468, 2019.
- Chrysafis Hartonas. Discrete duality for lattices with modal operators. Journal of Logic and Computation, 29(1):71-89, 2019.
- Christian Straßer, Ofer Arieli. Normative reasoning by sequent-based argumentation. Journal of Logic and Computation, 29(3):387-415, 2019.
- David B. Martens. Substituting strict equivalents. Journal of Logic and Computation, 29(5):753-761, 2019.
- Giovanna D'Agostino. Uniform interpolation for propositional and modal team logics. Journal of Logic and Computation, 29(5):785-802, 2019.