A modal type theory for formalizing trusted communications

DOI10.1016/j.jal.2011.12.002zbMath1254.68247OpenAlexW2035898184MaRDI QIDQ420842

Giuseppe Primiero, Mariarosaria Taddeo

Publication date: 23 May 2012

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2011.12.002

zbMATH Keywords

trustcommon and distributed knowledgeepistemic modalitiesmodal type theorytestimony

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (2)

The semantics of untrustworthiness ⋮ A logic of negative trust

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• Lectures on the Curry-Howard isomorphism
• Logic of proofs
• Information and knowledge. A constructive type-theoretical approach
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• A judgmental reconstruction of modal logic
• A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• A Modal Framework for Relating Belief and Signed Information
• Introducing Justification into Epistemic Logic
• Knowledge and common knowledge in a distributed environment
• A logic of trust and reputation
• Proof Theory for Distributed Knowledge
• Dynamic Testimonial Logic
• Engineering Executable Agents using Multi-context Systems
• Contextual modal type theory
• Trust Management
• Trust Management
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Information Security
• Computational Logic in Multi-Agent Systems
• On the interpretation of intuitionistic number theory
• Local Models Semantics, or contextual reasoning = locality + compatibility

This page was built for publication: A modal type theory for formalizing trusted communications