David Appadourai: Informal proof, tactic script, proof term: What formalization preserves, discards, and creates
Riccardo Borsetto: Strong inequality in observational type theory
Matthew Collinson, Timo Eckhardt & David Pym: Towards an inferentialist metaphysics of information security through proof-thereotic semantics
Blandine de Becker: A perspective on kinds of paradoxes
Christian Fermüller: Towards a logical framework for graded deontic reasoning
Rohan French: Semantics for a logic of structural properties
Ryo Ito: Many-sorted intensional logic and the Russell-Myhill Paradox
Purbita Jana & Prateek Kwatra: Continuous Logic: An algebraic treatment
Michael Kaminski: Intuitionistic logic of a binary modality
Junya Kitazono: The third value as modal status: A Suszkian reduction of Ł3 into the Boolean algebras with operators of Priorean branching time
Mateusz Klonowski & Tomasz Jarmużek: Some sequent calculi for the logic of demodalised analytic implication
Nils Kürbis: Neglected but plausible principles for free theories of definite descriptions
Tsubasa Kumasaka: Analytic cut property and subformula property for abstract provability structures
Anela Lolić: A note on a proof-theoretic limitation of first-order S5
Miguel Lopez Munive: A truth-theoretic approach to external negation
Paolo Maffezioli: Proof-theoretic aspects of stable logic
Ondrej Majer & Krishna Manoorkar: Probabilistic inquisitive logic
Shin Matsuura: The non-triviality of a connexive theory of truth
Satoru Niki & Mahan Vaz: Time, coherence and justification: Interpreting Kearns' semantics for intuitionistic logic
Yuki Nishimura & Sohei Iwata: Terminating sequent calculus for n-transitivity
Mashu Noguchi: Embeddings of propositional logics into the provability logics 𝐒 and 𝐃
Takuro Onishi: The star function as a free completion of negative accessibility
Elise Perrotin: On logics of S5 common knowledge
Sabeena PS: Normativity and logical pluralism: Reinterpreting Nyaya and Aristotelian logic
Vít Punčochář: Questions in mathematics
Takahiro Sawasaki & Yaroslav Petrukhin: A new positive free modal logic with definite descriptions
Igor Sedlár & Shawn Standefer: Time for relevant logic
Takahiro Seki: A hierarchy of non-associative substructural logics
Fatemeh Shirmohammadzadeh Maleki: Proof theory for some subintuitionistic logics
Ryan Simonelli: Does anything go? Structural conservativity on the Pittsburgh and Bochum Plans
Nobu-Yuki Suzuki: Variants of prenex normal form theorem in intermediate predicate logics
Nazanin R. Tavana, M. Pourmahdian & S.M.A. Khatami: The Craig interpolation property in first-order Gödel logic and some of its extensions
Mattia Vargas & Federico Faroldi: Truthmakers for Might counterfactuals
Ren-June Wang: Sequent calculus for FDE and its relative logics
Blane Worley: Saving logical consequence from identity
Emils Zavelis: Circularity in dialetheic classical recapture