A conservative extension of Coalition Logic introduces an inability operator as negation of ability, with proofs of soundness, completeness, and conservativity plus analysis of its modal properties.
Halpern, Yoram Moses, and Moshe Y
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 3roles
background 1polarities
background 1representative citing papers
The authors define Awareness-Based Indistinguishability Logic (AIL) with a new semantics for explicit knowledge that is strictly stronger than Fagin-Halpern logic, prove embeddability of the prior logic, and supply a sound and complete axiomatization.
Introduces simplicial secrecy models and primitive secrecy operator S_a φ with sound axiomatization SSL and completeness proof via canonical models for multi-agent cases.
citing papers explorer
-
A Logic of Inability
A conservative extension of Coalition Logic introduces an inability operator as negation of ability, with proofs of soundness, completeness, and conservativity plus analysis of its modal properties.
-
A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
The authors define Awareness-Based Indistinguishability Logic (AIL) with a new semantics for explicit knowledge that is strictly stronger than Fagin-Halpern logic, prove embeddability of the prior logic, and supply a sound and complete axiomatization.
-
A Logic of Secrecy on Simplicial Models
Introduces simplicial secrecy models and primitive secrecy operator S_a φ with sound axiomatization SSL and completeness proof via canonical models for multi-agent cases.