[Unknown type: UNSPECIFIED]
Record type:
UNSPECIFIED
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.
Text
2208.04422
- Author's Original
Available under License Creative Commons Attribution.
Download (281kB)
More information
Published date: 8 August 2022
Additional Information:
Note the authorship list and the title changed from version 1, 'What are Your Powers? – Truth Set Algebras' to version2, 'Truth Set Algebra: A New Way to Prove Undefinability'. The DOI points to the latest version.
Related URLs:
Keywords:
cs.AI, cs.LO, math.LO
Identifiers
Local EPrints ID: 474833
URI: http://eprints.soton.ac.uk/id/eprint/474833
PURE UUID: 34aad021-f11e-4d05-95c7-b014e786ce59
Catalogue record
Date deposited: 03 Mar 2023 17:43
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Sophia Knight
Author:
Pavel Naumov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.