Terminating Calculi and Countermodels for Constructive Modal Logics - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Dates et versions

hal-03518430 , version 1 (09-01-2022)

Identifiants

Citer

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti. Terminating Calculi and Countermodels for Constructive Modal Logics. Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021, Sep 2021, Birmingham, United Kingdom. pp.391-408, ⟨10.1007/978-3-030-86059-2_23⟩. ⟨hal-03518430⟩
51 Consultations
38 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More