A model Type Theory for Formalizing Trusted Communications

Giuseppe Primiero, Mariarosaria Taddeo

Research output: Contribution to journalArticlepeer-review

18 Citations (Scopus)


This paper introduces a multi-modal polymorphic typetheory 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 atypetheory, in which we show the embedding of the modal operators into standard group knowledge operators.
Original languageEnglish
Pages (from-to)92-114
JournalJournal of Applied Logic
Issue number1
Publication statusPublished - 1 Mar 2012


  • Testimony; Trust; Modal TypeTheory; Epistemic Modalities; Common and Distributed Knowledge


Dive into the research topics of 'A model Type Theory for Formalizing Trusted Communications'. Together they form a unique fingerprint.

Cite this