The logic of transitive and dense frames : from the step-frame analysis to full cut-elimination
Articolo
Data di Pubblicazione:
2014
Citazione:
The logic of transitive and dense frames : from the step-frame analysis to full cut-elimination / S. Ghilardi, G. Mints. - In: LOGIC JOURNAL OF THE IGPL. - ISSN 1367-0751. - 22:4(2014 Aug), pp. 585-596.
Abstract:
We introduce the system K4De. It is obtained by weakening the reflexivity axiom to the density axiom in the standard axiom set for S4. We analyze K4De both from the semantic and the proof theoretic side, giving in particular a cut-free system of rules for it.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
correspondence theory; cut-elimination; modal logic; step frames
Elenco autori:
S. Ghilardi, G. Mints
Link alla scheda completa: