ACCEPTED PAPERS
Accepted regular papers
- Ela Drozdowska and Pawel Pawlowski, Uniform Non-Deterministic Semantics for Ciuciura's mbC^n-Hierarchy
- Maciej A. Hałapacz, On Some Logics Intermediate Between S4.2 and S4.3 Defined by the Notion of Independence
- Kaito Ichikura, Arithmetical Characterizations of Two Intuitionistic Logical Principles
- Tomoaki Kawano, A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States
- Tomoaki Kawano and Ryo Kashima, On the Reconstruction of Orthomodular Logic via Restricted Negation
- Muhammad Afaq Khan, Manuel A. Martins, Alexandre Madeira and Babar Zaman, On Łukasiewicz Topological Semantics
- Nils Kürbis, Tableaux Rules for Theories of Definite Descriptions in Positive Free Logic with Some Philosophical Remarks
- Manuel A. Martins and Abilio Rodrigues, Merging and Evolution of Data Bases: A Many-Logic Approach
- Satoru Niki, Restricted Peirce's Law and Natural Deduction
- Pawel Pawlowski and Pietro Vigiani, Paraclassical Logics with Two Negations
- Yaroslav Petrukhin, Normalisation for a Neutral Free Logic with Definite Descriptions
- Paweł Płaczek and Cheng-Syuan Wan, Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
Accepted short papers
- Ludovico Ageno and Pablo Rivas-Robledo, Definite Descriptions with Modal Counterparts
- Janusz Ciuciura, Strongly Paraconsistent Logics of Formal Inconsistency
- Tomasz Jarmużek and Mateusz Klonowski, Algorithm α for Positive and Negative Properties in Relating Semantics
- Tomasz Jarmużek and Kacper Wąsiak, A Tableau Approach to Lewis' Logic of Counterfactuals
- Sándor Jenei, A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
- Sebastian Leon Kluz, From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions
- Zofia Kostrzycka, On Halldén Completeness in Weak Subintuitionistic Logics
- Marcin Łazarz and Zalán Gyenis, ⇝-Generation in Pseudo-Heyting Algebras
- Federico Pailos, A Paradox for Substructural Logics
- Antonio Piccolomini d'Aragona, Proof-Theoretic Semantics as a Double-Model Semantics
- Zuzanna Rygiewicz, KR Geometry: Characteristics of Finite Models
- Kordula Świętorzecka, A Strongly Complete Infinitary System for Logic of Linear Change
- Masanobu Toyooka, A Note on Okada's Purely Constructive Implication
- Bartłomiej Uzar, Infinitary System for Hybrid Logic of Discrete Linear Time
- Yiheng Wang, Constructive Thoroughly Linear Modal Logic
- Heinrich Wansing, Über überconsistent Logics and Dialetheism
