Accepted Abstracts:

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-theoretic 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