Accepted Papers

[REGULAR PRESENTATION]

• Timothee Bernard, Paradoxes with Letters and Definitions

• Rohan French, Invitation to Constructive Nonreflexive and Nontransitive Logics

• Andrzej Indrzejczak, Le'sniewski's Ontology Satisfies Interpolation

• Yuki Nishimura and Tsubasa Takagi, Completeness and Termination of Tableau Calculus for Undirected Graphs

• Hitoshi Omori and Jonas Becker Arenhart, The power of generalized Clemens semantics

• Hitoshi Omori, Another generalization of connexive logic C

• Takuro Onishi, A note on negation in the operational semantics for relevant logic

• Katsuhiko Sano and Masanobu Toyooka, Cut-free Sequent Calculus for Wansing's Expansion of Nelson's Logic

• Takahiro Seki, Variations of Axioms K and S in Substructural Logics

• Satoru Suzuki, Measurement-Theoretic Foundations of Logic of Epistemic Modals

• Pedro Yago, Arbitrary objects in a bilateral setting

• Yukiko Yana, Koji Mineshima and Daisuke Bekki, A Proof-Theoretic Approach to the Binding Problem

• Jialiang Yan, Maria Aloni and Fenrong Liu, Perspective Shifts: Formalizing Epistemic Might in Multi-agent Models

• Byeong-Uk Yi, Classical Mereology and Plural Identity

• Yuecong Zhang and Xuefeng Wen, Strict Truth, Tolerant Truth, and Generalized Strict-Tolerant Logics

[SHORT PRESENTATION]

• Xiaoxuan Fu and Zhiguang Zhao, Game Semantics for Modal Logic with Counting

• Makoto Fujiwara. On the hierarchy of linearity axioms

• Juntong Guo and Minghui Ma, Intuitionistic Conditioned Disjunction

• Hayato Ito, Conservative Imaging and AGM Postulates

• Santiago Jockwich, Models of Non-classical Mereology

• Tomoaki Kawano, Dynamic Extended Quantum Logic with Properties of the Inner Product

• Hanti Lin, Unified Inductive Logic: From Formal Learning to Statistical Inference to Supervised Learning

• Yaroslav Petrukhin, Definite Descriptions in Nelson's Logic

• Ryo Takemura, Another representation of cut-elimination