A modal logic internalizing normal proofs

DOI10.1016/J.IC.2010.09.010MaRDI QIDQ764264zbMATH OpenOpenAlexFDO

Authors Sungwoo Park, Hyeonseung Im

Publication date 13 March 2012

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2010.09.010

zbMATH Keywords

modal logicsequent calculusnatural deduction systemnormal proofreflective system

Mathematics Subject Classification ID

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

Recommendations

• Modal sequents for normal modal logics
• A systematic proof theory for several modal logics
• Normal derivability in modal logic
• Proof theory for functional modal logic
• scientific article; zbMATH DE number 4049635

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 2006628 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A judgmental reconstruction of modal logic
• Type-safe higher-order channels in ML-like languages

Cited in

(8)

• Rosser provability and normal modal logics
• Proof theory for functional modal logic
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
• Conditional logics of normality: A modal approach
• Models for stronger normal intuitionistic modal logics
• scientific article; zbMATH DE number 7085124 (Why is no real title available?)
• scientific article; zbMATH DE number 4070861 (Why is no real title available?)
• scientific article; zbMATH DE number 2213628 (Why is no real title available?)

This page was built for publication: A modal logic internalizing normal proofs

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