A model Type Theory for Formalizing Trusted Communications
Primiero, Giuseppe and Taddeo, Mariarosaria
(2012)
A model Type Theory for Formalizing Trusted Communications.
Journal of Applied Logic (1).
pp. 92-114.
ISSN 1570-8683
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.
Item Type | Article |
---|---|
Keywords | Testimony; Trust; Modal TypeTheory; Epistemic Modalities; Common and Distributed Knowledge |
Date Deposited | 29 May 2025 09:14 |
Last Modified | 29 May 2025 09:14 |