Proceedings of the Computability in Europe 2010 Conference

TitleConstructive contextual modal judgments for reasoning from open assumptions
Publication TypeConference Paper
Year of Publication2010
AuthorsPrimiero, G
EditorFerreira, F, Guerra, H, Mayordomo, E, Rasga, J
Conference NameProceedings of the Computability in Europe 2010 Conference
PublisherCentre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores

Dependent type theories using a structural notion of context are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. In particular, types with modalities are already used for distributed and staged computation. This paper introduces a type system extended with judgmental modalities internalizing epistemically different modes of correctness to explore a calculus of provability from refutable assumptions.

Citation Key1166760
Download PDF (Author PDF)