CI-BD-SOQE 2026

Table of Contents

• PDF
  
• 1-1 PDF
  Marta Bílková
• 2-2 PDF
  Balder ten Cate
• 3-3 PDF
  Arie Gurfinkel
• 4-4 PDF
  Alessandra Palmigiano
• 5-5 PDF
  Alexis Saurin
• 6-6 PDF
  Amir Akbar Tabatabai
• An Algorithm for Existential Boolean Unification with Predicates (Extended Abstract) 7-14 PDF
  Fabian Achammer, Stefan Hetzl
• Modular Constructive Lyndon Interpolation for Nondistributive Logics 15-28 PDF
  Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
• Craig Interpolation Theorem in the Logic of Russellian Definite Descriptions 29-42 PDF
  Andrzej Indrzejczak
• Correspondence Theory for Intuitionistic Łukasiewicz Logic 43-58 PDF
  Andrew Lewis-Smith, Zhiguang Zhao
• Interpolation above S4 (Extended Abstract) 59-65 PDF
  Simon Santschi, Niels C. Vooijs
• Multiple Definitions from a Single Resolution Proof (Extended Abstract) 66-74 PDF
  Friedrich Slivovsky
• Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System (Extended Abstract) 75-85 PDF
  Christoph Wernhard
• Whereof One Cannot Explain, Thereof One Must Invent: Definitorial Abduction in ALCI via Strong Forgetting 86-102 PDF
  Jinghan Wu, Renate A. Schmidt, Yizheng Zhao
• 103-108 PDF
  Fabian Achammer, Stefan Hetzl, Renate A. Schmidt
• 109-113 PDF
  Jean Christoph Jung, Jędrzej Kołodziejski, Frank Wolter
• 114-115 PDF
  Faezeh Labbaf, Tomas Kolarik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina
• PDF
  Renate A. Schmidt, Hongkai Yin