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

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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2011.06.001
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,109
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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 - 2021 - Archive for Mathematical Logic 60 (1):227-239.

Add more citations

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.
The Philosophy of Nature, Chance, and Miracle.Adam Świeżyński - 2011 - American Journal of Theology and Philosophy 32 (3):221 - 241.
Keeping or Leaking Secrets: On the Case of Xi Yang.[author unknown] - 1996 - Contemporary Chinese Thought 27 (3):29-36.
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 Life, Secrets of Death.Nancy Tuana - 1994 - The Personalist Forum 10 (1):47-49.
Independence in Information Spaces.Pavel Naumov - 2012 - Studia Logica 100 (5):953-973.
On Commercial Know-How Protection of Restaurants.Xi-Qing Wang - 2005 - Philosophy of the Social Sciences 35 (3):92-95.

Analytics

Added to PP index
2017-02-19

Total views
6 ( #1,070,208 of 2,411,486 )

Recent downloads (6 months)
1 ( #538,999 of 2,411,486 )

How can I increase my downloads?

Downloads

My notes