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

DOI10.1093/JIGPAL/12.3.227MaRDI QIDQ4823803zbMATH OpenOpenAlexFDO

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

Publication date 28 October 2004

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

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

zbMATH Keywords

modal logicKripke semanticssequent calculussober algebralabelled deduction systemtruth value label

Mathematics Subject Classification ID

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

Recommendations

• Modal sequents for normal modal logics
• Labeled sequent calculi for modal logics and implicit contractions
• A Systematic Presentation of Quantified Modal Logics
• Proof analysis in non-classical logics
• Modal Sequent Calculi Labelled with Truth Values: Cut Elimination

Cited in

(2)

• Labelled calculi for lattice-based modal logics
• scientific article; zbMATH DE number 6769390 (Why is no real title available?)

Describes a project that uses

Uses Software

• ETPS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4823803)