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 |
Autori: | |
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 |
Rivista: | |
Tipologia: | Article (author) |
Digital Object Identifier (DOI): | 10.1016/j.jal.2011.12.002 |
Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
1-s2.0-S1570868311000668-main.pdf | Publisher's version/PDF | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.