Sequent Calculi for the Modal -Calculus over S5

DOI10.1093/LOGCOM/EXN106zbMATH Open1266.03028OpenAlexW2125838990MaRDI QIDQ3656762

Luca Alberucci

Publication date: 14 January 2010

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/36789/1/exn106.pdf

zbMATH Keywords

modal logiccompletenesssequent calculusmodal \(\mu \)-calculusproof-theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (3)

Title not available (Why is that?) ⋮ General Models and Completeness of First-Order Modal  -calculus ⋮ Title not available (Why is that?)

This page was built for publication: Sequent Calculi for the Modal  -Calculus over S5

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