A modal type theory for formalizing trusted communications

Journal of Applied Logic 10 (1):92-114 (2012)
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.
Keywords Modal Type Theory  Trust
Categories (categorize this paper)
DOI 10.1016/j.jal.2011.12.002
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,751
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The Place of Testimony in the Fabric of Knowledge and Justification.Robert Audi - 1997 - American Philosophical Quarterly 34 (4):405 - 422.
Transferring Knowledge.Peter J. Graham - 2000 - Noûs 34 (1):131–152.
Logic of Proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.

View all 12 references / Add more references

Citations of this work BETA
Honesty, Competence, and Trust for Systems Design.Giuseppe Primiero - 2013 - Philosophy and Technology 26 (4):431-435.

Add more citations

Similar books and articles

Monthly downloads

Added to index

2012-01-07

Total downloads

77 ( #64,730 of 2,146,869 )

Recent downloads (6 months)

14 ( #48,451 of 2,146,869 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums