Terminating Calculi and Countermodels for Constructive Modal Logics - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Terminating Calculi and Countermodels for Constructive Modal Logics

(1) , (2, 3, 4) , (2, 3, 4)
1
2
3
4
Fichier principal
Vignette du fichier
DalGreOli_CMLs_Tableaux2021 (1).pdf (401.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
37 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More