Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 25
| Issue Date | Title | Author(s) |
| Aug-2024 | Interactive Proofs in Bounded Arithmetics | Soto, Martín |
| Sep-2024 | Reiterman‘s theorem for pseudovarieties | Liberal Grana, Ion Mikel |
| Sep-2024 | Multimodal logics for musical grammars | Asensi Arranz, Roger |
| Sep-2024 | On Languages and a Strictly Positive Fragment of Linear Temporal Logic | Acevedo, Lucas Uzías |
| Sep-2024 | A Formalization of Kannan’s Circuit Lower Bound in Bounded Arithmetic | Cantero de Arriba, Carlos |
| Aug-2024 | Lexical Semantics in Modern Type Theory: The challenge of selectional coercion | Kuznetsov, Stepan G |
| Sep-2024 | Higher Structural Reflection and Very Large Cardinals | Hou, Nai-Chung |
| Jul-2024 | A classification of the set-theoretic total recursive functions of KPl | Fernández Dejean, Anton |
| Jul-2024 | Inconsistency lemmas and the inconsistency by cases property | Hortelano Martín, Isabel |
| Jul-2024 | Rational and Delta expansions of the Nilpotent Minimum Logic | Sempere Camín, Paula |
| Jul-2024 | Meet-irreducible elements in the poset of all logics | Muñoz Pérez, MIguel |
| Jul-2024 | Epimorphism Surjectivity in Logic and Algebra | Kurtzhals, Miriam |
| 2024 | On interval logics and stopwatches in model-checking real-time systems | López Chamosa, Marina |
| 2023 | Unification in intuitionistic logic | Cristancho S., Sebastián R. |
| 2022 | Stationary Reflection on Pₖ (λ) | Torres Pachón, Martha Catalina |
| 2020 | Cardinals Beyond Choice and the HOD-Dichotomy | Spoerl, John |
| Jan-2021 | Interpretability logics and generalized Veltman semantics in Agda | Mas Rovira, Jan |
| Oct-2020 | Cardinal Arithmetic: From Silver’s Theorem to Shelah’s PCF Theory | Gallart Rodríguez, Curial |
| Oct-2020 | Inconsistency lemmas: an algebraic approach | Herrera Hernández, Jorge |
| Sep-2020 | Independent Combinatoric Worm Principles for First Order Arithmetic and Beyond | Papafilippou, Konstantinos |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 25
