Modal type theory based on the intuitionistic modal logic \(\mathrm{IEL}^{-}\)

DOI10.1007/978-3-030-36755-8_15zbMath1485.03033OpenAlexW2994613220MaRDI QIDQ2177591

Daniel Rogozin

Publication date: 6 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-36755-8_15

zbMATH Keywords

functional programmingmodal type theoryapplicative functorintuitionistic epistemic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Functional programming and lambda calculus (68N18) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Linear depth deduction with subformula property for intuitionistic epistemic logic

This page was built for publication: Modal type theory based on the intuitionistic modal logic \(\mathrm{IEL}^{-}\)