scientific article; zbMATH DE number 2064301

MaRDI QIDQ4461801zbMATH OpenFDO

Authors Gavin M. Bierman, Valeria de Paiva

Publication date 18 May 2004

zbMATH Keywords

categorical modelsintuitionistic modal logicnatural deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Recommendations

• On an intuitionistic modal logic
• scientific article; zbMATH DE number 3884137
• Models for normal intuitionistic modal logics
• A judgmental reconstruction of modal logic
• scientific article; zbMATH DE number 1848312

Cited in

(10)

• On an intuitionistic modal logic
• Modality via iterated enrichment
• A judgmental reconstruction of modal logic
• Noninterference for Intuitionist Necessity
• scientific article; zbMATH DE number 3884137 (Why is no real title available?)
• Machine-checked proof-theory for propositional modal logics
• scientific article; zbMATH DE number 7599980 (Why is no real title available?)
• An intuitionistic defence of Berkeley’s master argument
• Dual-context calculi for modal logic
• Cut-free Gentzen calculus for multimodal CK

This page was built for publication:

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