|
|||||
|
|
Modal Pure Type Systems |
|
| Authors: | Tijn Borghuis |
| Affiliation: | (1) Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands |
| Abstract: | We present a framework for intensional reasoning in typed  -calculus. In this family of calculi, called Modal Pure Type Systems (MPTSs), a  propositions-as-types -interpretation can be given for normal modal logics. MPTSs are an extension of the Pure Type Systems (PTSs) of Barendregt (1992). We show that they retain the desirable meta-theoretical properties of PTSs, and briefly discuss applications in the area of knowledge representation. |
| Keywords: | Knowledge representation natural deduction normal modal logics typed |
| 本文献已被 SpringerLink 等数据库收录！ | |