Logic of secrets in collaboration networks

Annals of Pure and Applied Logic 162 (12):959-969 (2011)
  Copy   BIBTEX

Abstract

The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logic of secrets in collaboration networks.Sara Miner More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.
Logic of confidence.Pavel Naumov & Jia Tao - 2015 - Synthese 192 (6):1821-1838.
Independence in Information Spaces.Pavel Naumov - 2012 - Studia Logica 100 (5):953-973.
On the semantics of the universal quantifier.Djordje Ubri - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.
On the semantics of the universal quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
The Bibinary Semantics for R and Lℵ0.V. L. Vasyukov - 1986 - Bulletin of the Section of Logic 15 (3):109-114.

Analytics

Added to PP
2017-02-19

Downloads
27 (#864,536)

6 months
10 (#281,857)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Pavel Naumov
University of Southampton

Citations of this work

Fault tolerance in belief formation networks.Sarah Holbrook & Pavel Naumov - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin, Logics in Artificial Intelligence. Springer. pp. 267--280.
Independence in Information Spaces.Pavel Naumov - 2012 - Studia Logica 100 (5):953-973.
Axiomatic theory of betweenness.Sanaz Azimipour & Pavel Naumov - 2020 - Archive for Mathematical Logic 60 (1):227-239.

Add more citations

References found in this work

No references found.

Add more references