The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks

von Schlögl, Thomas
Veröffentlicht in PRIMA (23. : 2020 : Online) PRIMA 2020: principles and practice of multi-agent systems (2021)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation

von Giessen, Iris van der
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Uniform Interpolation via Nested Sequents

von Giessen, Iris van der
Veröffentlicht in Logic, Language, Information, and Computation (2021)