<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Ferreira, F</style></author><author><style face="normal" font="default" size="100%">Guerra, H</style></author><author><style face="normal" font="default" size="100%">Mayordomo, E</style></author><author><style face="normal" font="default" size="100%">Rasga, J</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Constructive contextual modal judgments for reasoning from open assumptions</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the Computability in Europe 2010 Conference</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;</style></abstract></record></records></xml>