# Truth Set Algebra: A New Way to Prove Undefinability

arXiv: https://arxiv.org/abs/2208.04422 · HTML: https://mlsanity.com/paper/2208.04422/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- Builds on 1 of its 21 references that are in the map.
- First posted on arXiv 8 Aug 2022.

## Builds on (most cited first, 1 of 1)

- [Intelligence in Strategic Games](https://mlsanity.com/paper/1910.07298/) (2019)

## Built on by (most cited first, 3 of 3)

- [Responsibility in Extensive Form Games](https://mlsanity.com/paper/2312.07637/) (2023)
- [De Re and De Dicto Knowledge in Egocentric Setting](https://mlsanity.com/paper/2308.00001/) (2023)
- [Agentive Permissions in Multiagent Systems](https://mlsanity.com/paper/2404.17053/) (2024)

## Abstract (arXiv)

The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtained results are new proofs of the existing theorems, others are original to this work.