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.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.001

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

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

External links

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

Through your library

My notes

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.
An Independence Relation for Sets of Secrets.Sara Miner More & Pavel Naumov - 2010 - Studia Logica 94 (1):73-85.
Logic of confidence.Pavel Naumov & Jia Tao - 2015 - Synthese 192 (6):1821-1838.
On phase semantics and denotational semantics in multiplicative–additive linear logic.Antonio Bucciarelli & Thomas Ehrhard - 2000 - Annals of Pure and Applied Logic 102 (3):247-282.
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
29 (#845,011)

6 months
11 (#316,199)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Pavel Naumov
University of Southampton

Citations of this work

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.
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.

Add more citations

References found in this work

No references found.

Add more references