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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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.
The Philosophy of Nature, Chance, and Miracle.Adam Świeżyński - 2011 - American Journal of Theology and Philosophy 32 (3):221 - 241.
Xvi. Keeping Or Leaking Secrets: On The Case Of Xi Yang.Dai Qing - 1996 - Chinese Studies in Philosophy 27 (3):29-36.
Keeping or leaking secrets, on the case of XI-Yang.Qing Dai - 1996 - Chinese Studies in Philosophy 27 (3):29-36.
Secrets of reality: bridging the gap between ancient wisdom and contemporary science.Raj Kapoor - 2006 - Pittsburgh, Pa.: CFW Books.
Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic.Wouter Teepe - 2006 - Synthese 149 (2):409-443.
Secrets of Life, Secrets of Death: Essays on Language, Gender and Science.Evelyn Fox Keller - 1994 - The Personalist Forum 10 (1):47-49.
Secrets of Life, Secrets of Death. [REVIEW]Nancy Tuana - 1994 - The Personalist Forum 10 (1):47-49.
Independence in Information Spaces.Pavel Naumov - 2012 - Studia Logica 100 (5):953-973.
Secrets of Life, Secrets of Death: Essays on Science and Culture.Evelyn Fox Keller - 2013 - Routledge.
Secrets of Life, Secrets of Death: Essays on Science and Culture.Evelyn Fox Keller - 2013 - Routledge.
46. Secrets: On the Ethics of Concealment and Revelation, by Sissela Bok; The Secrets File: The Case for Freedom of Information in Britain Today. Des Wilson - 2014 - In Bernard Williams (ed.), Essays and Reviews: 1959-. Princeton: Princeton University Press. pp. 226-230.
On Commercial Know-How Protection of Restaurants.Xi-Qing Wang - 2005 - Philosophy of the Social Sciences 35 (3):92-95.
Logic of confidence.Pavel Naumov & Jia Tao - 2015 - Synthese 192 (6):1821-1838.

Analytics

Added to PP
2017-02-19

Downloads
11 (#1,075,532)

6 months
2 (#1,157,335)

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 (eds.), 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