A contextual type theory with judgemental modalities for reasoning from open assumptions

Logique and Analyse 220:579-600 (2012)
Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as provability up to refutation of contextual conditions.
Keywords Modal Type Theory  Defeasible Reasoning
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,820
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Modal Pure Type Systems.Tijn Borghuis - 1998 - Journal of Logic, Language and Information 7 (3):265-296.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Abstract Argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.
The Epistemic Basis of Defeasible Reasoning.Robert L. Causey - 1991 - Minds and Machines 1 (4):437-458.
Contrary-to-Duty Obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.
The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Type-Identity Conditions for Phenomenal Properties.Simone Gozzano - 2012 - In Simone Gozzano & Christopher S. Hill (eds.), New Perspective on Type Identity. The Mental and the Physical. Cambridge University Press. pp. 111.
The Convert as a Social Type.David A. Snow & Richard Machalek - 1983 - Sociological Theory 1:259-289.
Added to PP index

Total downloads
148 ( #34,937 of 2,210,133 )

Recent downloads (6 months)
1 ( #382,810 of 2,210,133 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature