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)

Canonicity of Proofs in Constructive Modal Logic

von Acclavio, Matteo
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)