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.
Chellas.Modal Logic: An Introduction
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 2years
2026 2roles
background 1polarities
background 1representative citing papers
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 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.