List of Papers at LFCS 18
- Antonis Achilleos. The Completeness Problem for Modal Logic
- Sergei Artemov. Justification Awareness Models
- Matthias Baaz, Alexander Leitsch and Anela Lolic. A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem
- Simone Barlocco and Clemens Kupke. Angluin Learning via Logic
- Lev Beklemishev. A universal algebra for the variable-free fragment of RC^\nabla
- Kai Brünnler, Dandolo Flumini and Thomas Studer. A Logic of Blockchain Updates
- Agata Ciabattoni, Tim Lyon and Revantha Ramanayake. From Display to Labelled Proofs for Tense Logics
- Liron Cohen and Arnon Avron. A Minimal Computational Theory of a Minimal Computational Universe
- Hannes Diener and Robert Lubarsky. Notions of Cauchyness and Metastability
- Thomas Ferguson. A Godel-Artemov-Style Analysis of Constructible Falsity
- Miika Hannula, Juha Kontinen and Jonni Virtema. Polyteam Semantics
- Vladimir Krupski. On the sharpness and the injective property of basic justification models
- Yanhong A. Liu and Scott Stoller. Founded Semantics and Constraint Semantics of Logic Rules
- Robert Lubarsky. Separating the Fan Theorem and Its Weakenings II
- Valeria de Paiva and Harley Eades Iii. Dialectica Categories for the Lambek Calculus
- V. Peluce. On Moore and Related Epistemic Paradoxes
- Benjamin Ralph. A Natural Proof System for Herbrand’s Theorem
- Sam Sanders. Metastability and higher-order computability theory
- Nenad Savic, Silvia Ghilezan, Jelena Ivetic, Zoran Ognjanovic and Simona Kasterovic. Probabilistic reasoning about simply typed lambda terms
- Richard Statman. Completeness of BCD for an operational semantics
- Junhua Yu. A Tableau System for Instantial Neighborhood Logic
- Alexander Zapryagaev and Fedor Pakhomov. Interpretations in Presburger Arithmetic