We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: What are Your Powers? -- Truth Set Algebras

Abstract: The paper studies the interplay between modalities representing four different types of multistep strategies in the imperfect information setting. It introduces a new "truth set algebra'' technique for proving undefinability, which is significantly different from the existing techniques based on bisimulation. The newly proposed technique is used to prove the undefinability of each of the four modalities through a combination of the three others.
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)
Cite as: arXiv:2208.04422 [cs.AI]
  (or arXiv:2208.04422v1 [cs.AI] for this version)

Submission history

From: Pavel Naumov [view email]
[v1] Mon, 8 Aug 2022 21:20:03 GMT (4568kb,D)

Link back to: arXiv, form interface, contact.