ACCEPTED PAPERS
Non-Classical Logics: Accepted full papers
- Norihiro Kamide, Twist Sequent Calculi for S4: How to Generate Short Proofs for Provable Negated Modal Formulas
- Norihiro Kamide, Unified Gentzen Approach to Connexive Logics
- Norihiro Kamide and Sara Negri, A Unified Gentzen-style Framework for Until-free LTL
- Amir Karniel and Michael Kaminski, Many-Valued Modal Logic
- Tomoaki Kawano, Tree Sequent Calculus for Modal Logic MB
- Akinori Maniwa and Ryo Kashima, Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
- Satoru Niki and Hitoshi Omori, Kamide is in America, Moisil and Leitgeb are in Australia (Best Paper Award)
- Yuki Nishimura, Agent-Knowledge Logic for Alternative Epistemic Logic
- Hitoshi Omori, The disjunction-free fragment of D_2 is three-valued
- Hitoshi Omori and Jonas Becker Arenhart, A note on Grigoriev and Zaitsev's system CNL^2_4
- Hitoshi Omori and Jonas Becker Arenhart, The power of generalized Clemens semantics
- Yaroslav Petrukhin, A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
- Paweł Płaczek, Complexity of Nonassociative Lambek Calculus with classical logic
- Jiří Raclavský, Two Cases of Deduction with Descriptions and Partiality
- Takahiro Sawasaki, Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms (Best Paper by a Junior Researcher Award)
- Daniel Skurt, Marcelo E. Coniglio and Paweł Pawłowski, Modal Logics - RNmatrices vs. Nmatrices
- Cheng-Syuan Wan, Semi-Substructural Logics à la Lambek
- Bartosz Więckowski, Incomplete descriptions and qualified definiteness
TENTATIVE PROCEEDINGS (pdf)
(proper proceedings will soon be available online as an EPTCS volume)
Non-Classical Logics: Accepted short presentations
- Rashed Ahmad, A Case for Weak Kleene ST
- Piotr Błaszczyk, Reading Newton's "De Analysi" by hyperfinite sums
- Piotr Błaszczyk and Anna Petiurenko, Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving
- Marcoen Cabbolet, A nonclassical theory of sets and functions: advancing the foundations of mathematics
- Szymon Chlebowski, Justyna Buczek and Barbara Świgło, There are unknown intuitionistic truths (at least in some intuitionistic models)
- Han Gao, Marianna Girlando and Nicola Olivetti, Intuitionistic K: Proofs, Countermodels and Simulation
- René Gazzari, Weak Extensions and Free Logic: a Proof-Theoretic Case Study
- Adrian Groza, Mapping Probability with Logic: First Order Models in Puzzle Solving
- Angelina Ilić Stepić, Zoran Ognjanović and Aleksandar Perović, Probability Logics for Reasoning About Measuring Quantum Observations on the spaces with innite dimension
- Ichikura Kaito, Continua of logcs for negation below in intuitionistic logic
- Mateusz Klonowski and Tomasz Jarmużek, Proof theory for Epstein’s logics of content relationship
- Leonard Kupś, Alexander Bolotov and Mariusz Urbański, Hypersequent Calculi for Propositional Linear-Time Temporal Logic
- Leonard Kupś, Alexander Bolotov and Mariusz Urbański, Socratic Proofs for Propositional Linear-Time Temporal Logic
- Nils Kürbis, Normalisation for Negative Free Logic with Definite Descriptions
- Dorota Leszczyńska-Jasion and Marcin Jukiewicz, Decision procedure for PLTL via the method of Socratic proofs
- Dorota Leszczyńska-Jasion and Agata Tomczyk, Cut-elimination for non-Fregean logic WB and some of its consequences
- Ivo Pezlar, Intuitionistic natural deduction with a general collapse rule and its propositions-as-types interpretation
- Fatima Scha, Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
- Oriol Valentín, Algebraic Completeness and Semantic Cut-Elimination of a Multimodal Formulation of Morrrill's Categorial Logic
BOOK OF ABSTRACTS (pdf)
Workshop on Connexive Logics: Accepted papers
- Sara Ayhan, Queer feminist views on contradictory logics: A symbiotic relationship
- Tadao Ishii, A simulation of connexive logic based on pair sentential calculus
- Wolfgang Lenzen, What medieval logicians have to say about the basic principles of connexive logic
- Piotr Łukowski, Formalization of the Chysippus conditional
- Hitoshi Omori, From Wansing's falsity conditio to connexive logic
- Hans Rott, On the history and motivations of connexive logic
- Heinrich Wansing, Connexive Counterpart Theory
BOOK OF ABSTRACTS (pdf)
