Show simple item record

dc.contributor.authorPrimiero, Giuseppe
dc.contributor.authorTaddeo, Mariarosaria
dc.date.accessioned2012-05-30T12:04:06Z
dc.date.available2012-05-30T12:04:06Z
dc.date.issued2012-03-01
dc.identifier.citationPrimiero , G & Taddeo , M 2012 , ' A model Type Theory for Formalizing Trusted Communications ' , Journal of Applied Logic , vol. 10 , no. 1 , pp. 92-114 . https://doi.org/10.1016/j.jal.2011.12.002
dc.identifier.issn1570-8683
dc.identifier.urihttp://hdl.handle.net/2299/8679
dc.description.abstractThis 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.en
dc.language.isoeng
dc.relation.ispartofJournal of Applied Logic
dc.subjectTestimony; Trust; Modal TypeTheory; Epistemic Modalities; Common and Distributed Knowledge
dc.titleA model Type Theory for Formalizing Trusted Communicationsen
dc.contributor.institutionSchool of Humanities
dc.contributor.institutionSocial Sciences, Arts & Humanities Research Institute
dc.contributor.institutionPhilosophy
dc.description.statusPeer reviewed
dc.identifier.urlhttp://taddeo.philosophyofinformation.net/
rioxxterms.versionofrecord10.1016/j.jal.2011.12.002
rioxxterms.typeJournal Article/Review
herts.preservation.rarelyaccessedtrue


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record