This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal non-homogeneous version of a type theory, in which we show the embedding of the modal operators into standard group knowledge operators.
|Titolo:||A modal type theory for formalizing trusted communications|
PRIMIERO, GIUSEPPE (Corresponding)
|Parole Chiave:||Testimony; Trust; Modal Type Theory; Epistemic Modalities; Common and Distributed Knowledge|
|Settore Scientifico Disciplinare:||Settore M-FIL/02 - Logica e Filosofia della Scienza|
|Data di pubblicazione:||2012|
|Digital Object Identifier (DOI):||10.1016/j.jal.2011.12.002|
|Appare nelle tipologie:||01 - Articolo su periodico|