Accepted Papers
- Patricia Johann and Edward Morehouse. Deep Induction for Inductive Families
- Juan Montoya. Asymptotic Reasoning with Two Variables
- Eric Raidl. Logics of Importation and Exportation for the Implicative Conditional
- Han Gao, Daniil Kozhemiachenko and Nicola Olivetti. Paraconsistent Constructive Modal Logic
- Richard Zuber. Denotation of sentential complements
- Vera Koponen and Edward Karlsson. Convergence laws for expansions of linear preorders
- Umberto Rivieccio and Miguel Muñoz Pérez. Indicative conditionals: algebraic considerations
- Elena Romanenko, Oliver Kutz, Diego Calvanese and Giancarlo Guizzardi. Abstracting Conceptual Models as a Weakening Process
- Timo Niek Franssen and Søren Brinck Knudstorp. Axiomatization and Decidability of Tense Information Logic
- Colin Riba and Alexandre Kejikian. Infinitary Refinement Types for Temporal Properties in Scott Domains
- Vicent Navarro Arroyo and Joost Johannes Joosten. On tame semantics for interpretability logic
- Han Gao and Nicola Olivetti. Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels
- Can Baskent, Dave Gilbert and Giorgio Venturi. Insensitive Games: Game Semantics for Modal Insensitivity
- Bjørn Kjos-Hanssen and Paul Kim Long V. Nguyen. Index set complexity for congruence lattices of lattices
- Nicolas Peltier. The Satisfiability Problem in a Separation Logic of Relations
- Raul Fervari, Daniel Figueiredo and Manuel A. Martins. Graded Relation Updates in Modal Logic
- José Espírito Santo and Ana Catarina Sousa. Proof Search in Classical Propositional Logic with Partial Proof Terms
- Avgerinos Delkos and Marianna Girlando. A significance-based account of ceteris paribus counterfactuals
- Paweł Rzążewski and Michał Stronkowski. Tabular intermediate logics comparison
- Klaus-Dieter Schewe. Insignificant Choice Polynomial Time -- A Logic Capturing PTIME
- Eric Raidl and Gilberto Gomes. Counterexamples to Import-Export in Conditionals: A Logical Analysis