A modal type theory for formalizing trusted communications
type: Item
instance of: scholarly article
title: A modal type theory for formalizing trusted communications
zbMATH Open document ID: 1254.68247
author: Giuseppe Primiero
author: Mariarosaria Taddeo
published in: Journal of Applied Logic
publication date: 2012-05-23T00:00:00Z
review text: A multi-modal polymorphic type theory is introduced to model epistemic processes characterized by trust. Trust is defined as a second-order relation affecting the communication process between sources and a receiver. In the proposed language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgment. 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 the modal operators are embedded into standard group knowledge operators.
reviewed by: Giacomo Bonanno
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 6037805
zbMATH Keywords: trust
zbMATH Keywords: testimony
zbMATH Keywords: modal type theory
zbMATH Keywords: epistemic modalities
zbMATH Keywords: common and distributed knowledge
MaRDI profile type: Publication
full work available at URL: j.jal.2011.12.002
OpenAlex ID: W2035898184
cites work: Q4785506
cites work: Logic of proofs
cites work: Explicit provability and constructive semantics
cites work: Justified common knowledge
cites work: Introducing Justification into Epistemic Logic
cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions
cites work: Q4648827
cites work: Q4427243
cites work: Q4837948
cites work: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
cites work: Trust Management
cites work: Computational Logic in Multi-Agent Systems
cites work: Q4661972
cites work: Q4736390
cites work: Q4845472
cites work: Q3417354
cites work: Q4941943
cites work: Local Models Semantics, or contextual reasoning = locality + compatibility
cites work: Knowledge and common knowledge in a distributed environment
cites work: A logic of trust and reputation
cites work: Dynamic Testimonial Logic
cites work: On the interpretation of intuitionistic number theory
cites work: Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
cites work: A Modal Framework for Relating Belief and Signed Information
cites work: A uniform framework for security and trust modeling and analysis with crypto-CCS
cites work: Q3688389
cites work: Q4247306
cites work: Q4271960
cites work: Q4475339
cites work: Q4858037
cites work: Contextual modal type theory
cites work: Proof Theory for Distributed Knowledge
cites work: Q3999860
cites work: A judgmental reconstruction of modal logic
cites work: Information and knowledge. A constructive type-theoretical approach
cites work: Q3101106
cites work: Q4925871
cites work: Q4843182
cites work: Engineering Executable Agents using Multi-context Systems
cites work: Lectures on the Curry-Howard isomorphism
cites work: Information Security
DOI: 10.1016/J.JAL.2011.12.002
description: scientific article; zbMATH DE number 6037805