Linear logic and noncommutativity in the calculus of structures

von Straßburger, Lutz
Veröffentlicht 2003

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)

von Girlando, Marianna
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Combinatorial Flows as Bicolored Atomic Flows

von Omidvar, Giti
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)

Game Semantics for Constructive Modal Logic

von Acclavio, Matteo
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)