mlsanityData to 14 Oct 2026

Truth Set Algebra: A New Way to Prove Undefinability

arXiv 2208.04422 ↗First posted 8 Aug 2022cs.AI cs.LO math.LOcited by 3

Not on the map. Why?

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.

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

1 of 21 references.

References · 1

  1. 2019Intelligence in Strategic Gamescited by 3

Built on by

Cited by year

Citing papers per year: 2023: 2; 2024: 1.

3 papers.

  1. 2023Responsibility in Extensive Form Gamescited by 2
  2. 2023De Re and De Dicto Knowledge in Egocentric Settingcited by 0
  3. 2024Agentive Permissions in Multiagent Systemscited by 0