A ternary knowledge relation on secrets
A ternary knowledge relation on secrets
The paper introduces and studies the ternary relation "secret a reveals at least as much information about secret c as secret b." In spite of its seeming simplicity, this relation has many non-trivial properties. The main result is a complete infinite axiomatization of the propositional theory of this relation.
completeness, information flow, knowledge, secret
46-54
More, Sara Miner
979b2749-1732-4a36-abda-64b4f6899ea9
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb
Yang, Andrew
3edcbccf-8219-49f7-be96-7dd1a7c37849
12 July 2011
More, Sara Miner
979b2749-1732-4a36-abda-64b4f6899ea9
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb
Yang, Andrew
3edcbccf-8219-49f7-be96-7dd1a7c37849
More, Sara Miner, Naumov, Pavel, Nicholls, Brittany and Yang, Andrew
(2011)
A ternary knowledge relation on secrets.
In TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011.
.
(doi:10.1145/2000378.2000384).
Record type:
Conference or Workshop Item
(Paper)
Abstract
The paper introduces and studies the ternary relation "secret a reveals at least as much information about secret c as secret b." In spite of its seeming simplicity, this relation has many non-trivial properties. The main result is a complete infinite axiomatization of the propositional theory of this relation.
This record has no associated files available for download.
More information
Published date: 12 July 2011
Venue - Dates:
13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011, , Groningen, Netherlands, 2011-07-12 - 2011-07-14
Keywords:
completeness, information flow, knowledge, secret
Identifiers
Local EPrints ID: 475895
URI: http://eprints.soton.ac.uk/id/eprint/475895
PURE UUID: b1043493-c5a0-4566-b2bf-01e1edb37478
Catalogue record
Date deposited: 30 Mar 2023 16:30
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Sara Miner More
Author:
Pavel Naumov
Author:
Brittany Nicholls
Author:
Andrew Yang
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics