|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale | A multi-focused proof system isomorphic to expansion proof | Artikel Article  | 2016 |
| 2 | | Iemhoff, Rosalie | A note on linear Kripke models | Artikel Article | 2005 |
| 3 | | Bednarczyk, Bartosz Jan ; Kojelis, Daumantas ; Pratt-Hartmann, Ian | The adjacent fragment and Quine’s limits of decision | Article Artikel | Sep-2025 |
| 4 | | Chajda, Ivan ; Emir, Kadir ; Fazio, Davide ; Länger, Helmut ; Ledda, Antonio ; Paseka, Jan | An algebraic analysis of implication in non-distributive logics | Article Artikel | 24-Jun-2022 |
| 5 | | Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela | An abstract form of the first epsilon theorem | Artikel Article | 2021 |
| 6 | | Vetterlein, Thomas | Analytic calculi for logics of ordinal multiples of standard t-norms | Artikel Article | 2008 |
| 7 |  | Piazza, Mario ; Tesi, Matteo | Analyticity with extra-logical information | Article Artikel   | 4-Apr-2024 |
| 8 | | Eberhard, Sebastian ; Hetzl, Stefan ; Weller, Daniel | Boolean Unification with Predicates | Artikel Article | 2017 |
| 9 | | Leitsch, Alexander ; Peltier, Nicolas ; Weller, Daniel | CERES for first-order schemata | Artikel Article | Oct-2017 |
| 10 | | Bauer, A. ; Leucker, M. ; Schallhart, C. | Comparing LTL Semantics for Runtime Verification | Artikel Article | 2010 |
| 11 | | Dvořák, Wolfgang ; Spanring, Christof | Comparing the expressiveness of argumentation semantics | Artikel Article | 2017 |
| 12 | | Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Woltran, Stefan | Computing Secure Sets in Graphs using Answer Set Programming | Artikel Article | Jun-2020 |
| 13 | | Sauras Altuzarra, Lorenzo | Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbers | Article Artikel | 11-Feb-2023 |
| 14 | | Avron, A. ; Konikowska, B. ; Zamansky, A. | Cut-free sequent calculi for C-systems with generalized finite-valued semantics | Artikel Article | 2013 |
| 15 | | Hetzl, Stefan ; Zivota, Sebastian | Decidability of affine solution problems | Artikel Article | 2020 |
| 16 |  | Soldà, Davide ; Fabiano, Francesco ; Dovier, Agostino | ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems | Article Artikel | Dec-2023 |
| 17 | | Ramanayake, Revantha | Embedding the hypersequent calculus in the display calculus | Artikel Article | 2015 |
| 18 | | Baaz, M. ; Iemhoff, R. | Eskolemization in intuitionistic logic | Artikel Article | 2011 |
| 19 | | Leitsch, Alexander ; Lolic, Anela | Extracting Herbrand systems from refutation schemata | Article Artikel | Oct-2025 |
| 20 | | Aguilera, Juan P ; Lubarsky, Robert S | Feedback Hyperjump | Artikel Article | 2021 |
