Modal pure type systems. Type theory for knowledge representation

DOI10.1023/A:1008254612284zbMath0921.03017OpenAlexW1608370356MaRDI QIDQ1289102

Tijn Borghuis

Publication date: 24 May 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008254612284

zbMATH Keywords

knowledge representationnatural deductiontyped \(\lambda\)-calculusnormal modal logicsintensional reasoningmodal pure type systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Modality via iterated enrichment ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

This page was built for publication: Modal pure type systems. Type theory for knowledge representation