Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity

DOI10.1093/JIGPAL/12.3.227zbMath1062.03020OpenAlexW2154201025MaRDI QIDQ4823803

Luca Viganò, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Publication date: 28 October 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/20.500.11850/38056

zbMATH Keywords

modal logicsequent calculusKripke semanticssober algebralabelled deduction systemtruth value label

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Categorical logic, topoi (03G30) Other algebras related to logic (03G25)

Uses Software

• ETPS

This page was built for publication: Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity