scientific article; zbMATH DE number 757638

MaRDI QIDQ4833770zbMATH OpenFDO

Authors Tijn Borghuis

Publication date 23 May 1995

zbMATH Keywords

modal logicnatural deductiontyped \(\lambda\)-calculusproposition-as-types interpretation

Mathematics Subject Classification ID

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

Recommendations

• Publication:4506397
• Fitch-style modal lambda calculi
• scientific article; zbMATH DE number 699435
• scientific article; zbMATH DE number 1438807

Cited in

(5)

• scientific article; zbMATH DE number 2006636 (Why is no real title available?)
• scientific article; zbMATH DE number 1508934 (Why is no real title available?)
• Fitch-style modal lambda calculi
• A judgmental reconstruction of modal logic
• scientific article; zbMATH DE number 7526053 (Why is no real title available?)

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 Q4833770)