Terminating Calculi and Countermodels for Constructive Modal Logics - Aix-Marseille Université Access content directly
Conference Papers Year : 2021

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⟩
51 View
20 Download

Altmetric

Share

Gmail Facebook X LinkedIn More