- Minghui Ma, Zhiguang Zhao. Unified correspondence and proof theory for strict implication. Journal of Logic and Computation, 27(3):921-960, 2017.
- Salem Benferhat, Zied Bouraoui. Min-based possibilistic DL-Lite. Journal of Logic and Computation, 27(1):261-297, 2017.
- Bruno Woltzenlogel Paleo. Reducing redundancy in cut-elimination by resolution. Journal of Logic and Computation, 27(2):577-606, 2017.
- Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller. Preface. Journal of Logic and Computation, 27(2):415, 2017.
- Ernst-Erich Doberkat, Pedro Sánchez Terraf. Stochastic non-determinism and effectivity functions. Journal of Logic and Computation, 27(1):357-394, 2017.
- Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen. Completeness and termination for a Seligman-style tableau system. Journal of Logic and Computation, 27(1):81-107, 2017.
- Pavel Naumov, Jia Tao. A modal logic for reasoning about economic policies. Journal of Logic and Computation, 27(1):395-412, 2017.
- Egon Börger. The abstract state machines method for modular design and analysis of programming languages. Journal of Logic and Computation, 27(2):417-439, 2017.
- Nicolas Peltier. A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules. Journal of Logic and Computation, 27(2):549-576, 2017.
- Edmond Awad, Richard Booth 0001, Fernando Tohmé, Iyad Rahwan. Judgement aggregation in multi-agent argumentation. Journal of Logic and Computation, 27(1):227-259, 2017.