Basic constructive modality

MaRDI QIDQ4918421zbMATH OpenFDO

Authors Eike Ritter, Valeria de Paiva

Publication date 24 April 2013

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1848312
• scientific article; zbMATH DE number 1438807
• scientific article; zbMATH DE number 7297837
• Computational types from a logical perspective
• On the computational interpretation of \(\mathbf{CK}_{n}\) for contextual information processing

Cited in

(10)

• Fitch-style modal lambda calculi
• Curry-Howard-Lambek correspondence for intuitionistic belief
• Modality via iterated enrichment
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• scientific article; zbMATH DE number 1438807 (Why is no real title available?)
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• Dual-context calculi for modal logic
• On the computational interpretation of \(\mathbf{CK}_{n}\) for contextual information processing
• Minimal modal logics, constructive modal logics and their relations
• Universal algebra in UniMath

This page was built for publication: Basic constructive modality

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