A modal type theory for formalizing trusted communications

Primiero, Giuseppe and Taddeo, Mariarosaria (2012) A modal type theory for formalizing trusted communications. Journal of Applied Logic, 10 (1). pp. 92-114. ISSN 1570-8683

Full text is not in this repository.

Abstract

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.

Item Type: Article
Keywords (uncontrolled): Testimony; Trust; Modal Type Theory; Epistemic Modalities; Common and Distributed Knowledge
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 12031
Depositing User: Users 3197 not found.
Date Deposited: 25 Sep 2013 12:45
Last Modified: 26 Sep 2018 11:11
URI: https://eprints.mdx.ac.uk/id/eprint/12031

Actions (login required)

Edit Item Edit Item