@article {primiero2012modal,
	title = {A modal type theory for formalizing trusted communications},
	journal = {Journal of Applied Logic},
	volume = {10},
	number = {1},
	year = {2012},
	pages = {92{\textendash}114},
	abstract = {<p>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.</p>},
	doi = {10.1016/j.jal.2011.12.002},
	author = {Primiero, Giuseppe and Taddeo, Mariarosaria}
}
