Volume: Vol-4228 CI-BD-SOQE 2026 | Year: 2026

Paper: « short2 | short4 | paper4 »

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System (Extended Abstract)

• Christoph Wernhard

75-85 PDF