@conference {1166760, title = {Constructive contextual modal judgments for reasoning from open assumptions}, booktitle = {Proceedings of the Computability in Europe 2010 Conference}, year = {2010}, publisher = {Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores}, organization = {Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores}, abstract = {

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.

}, author = {Primiero, Giuseppe}, editor = {Ferreira, F and Guerra, H and Mayordomo, E and Rasga, J} }