Studia Logica 94 (1):73-85 (2010)
| Abstract |
A relation between two secrets, known in the literature as nondeducibility , was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence . This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.
|
| Keywords | Philosophy Computational Linguistics Mathematical Logic and Foundations Logic |
| Categories | (categorize this paper) |
| DOI | 10.1007/s11225-010-9223-0 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
An Independence Relation for Sets of Secrets.Sara Miner More & Pavel Naumov - 2010 - Studia Logica 94 (1):73-85.
Citations of this work BETA
An Independence Relation for Sets of Secrets.Sara Miner More & Pavel Naumov - 2010 - Studia Logica 94 (1):73-85.
Sound Approximate Reasoning About Saturated Conditional Probabilistic Independence Under Controlled Uncertainty.Sebastian Link - 2013 - Journal of Applied Logic 11 (3):309-327.
Symmetry in Information Flow.Jeffrey Kane & Pavel Naumov - 2014 - Annals of Pure and Applied Logic 165 (1):253-265.
On Interchangeability of Nash Equilibria in Multi-Player Strategic Games.Pavel Naumov & Brittany Nicholls - 2013 - Synthese 190 (S1):1-22.
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.
Sets of Probability Distributions, Independence, and Convexity.Fabio G. Cozman - 2012 - Synthese 186 (2):577-600.
Stochastic Independence, Causal Independence, and Shieldability.Wolfgang Spohn - 1980 - Journal of Philosophical Logic 9 (1):73 - 99.
Simplicity and Uncountable Categoricity in Excellent Classes.Tapani Hyttinen & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 139 (1):110-137.
The Philosophy of Nature, Chance, and Miracle.Adam Świeżyński - 2011 - American Journal of Theology and Philosophy 32 (3):221 - 241.
Limitations on the Fraenkel-Mostowski Method of Independence Proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
Keeping or Leaking Secrets, on the Case of XI-Yang.Qing Dai - 1996 - Chinese Studies in Philosophy 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.
The Axiomatization of Randomness.Michiel van Lambalgen - 1990 - Journal of Symbolic Logic 55 (3):1143-1167.
Partially Ordered Sets and the Independence Property.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (2):396-401.
Secrets of Reality: Bridging the Gap Between Ancient Wisdom and Contemporary Science.Raj Kapoor - 2006 - Cfw Books.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Independence of Strong Partition Relation for Small Cardinals, and the Free-Subset Problem.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):505-509.
Analytics
Added to PP index
2010-02-01
Total views
37 ( #275,443 of 2,411,471 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,471 )
2010-02-01
Total views
37 ( #275,443 of 2,411,471 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,471 )
How can I increase my downloads?
Downloads
