Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations Marek Nowak OriginalPaper 03 December 2019 Pages: 1125 - 1143
Reasoning Continuously: A Formal Construction of Continuous Proofs T. D. P. BrunetE. Fisher OriginalPaper Open access 22 January 2020 Pages: 1145 - 1160
The Hahn Embedding Theorem for a Class of Residuated Semigroups Sándor Jenei OriginalPaper Open access 09 January 2020 Pages: 1161 - 1206
Reusing Topological Nexttime Logic Bernhard Heinemann OriginalPaper 21 January 2020 Pages: 1207 - 1234
Notes on Leitgeb’s What Truth Depends on Edoardo Rivello OriginalPaper 09 January 2020 Pages: 1235 - 1262
Definable Operators on Stable Set Lattices Robert Goldblatt OriginalPaper 05 February 2020 Pages: 1263 - 1280
A General Framework for \( {FDE}\)-Based Modal Logics Sergey Drobyshevich OriginalPaper 24 February 2020 Pages: 1281 - 1306
A Canonical Model for Constant Domain Basic First-Order Logic Ben Middleton OriginalPaper 22 February 2020 Pages: 1307 - 1323