Deuser, Kaya and Naumov, Pavel (2021) Strategic knowledge acquisition. ACM Transactions on Computational Logic, 22 (3), 1, [3459993]. (doi:10.1145/3459993).
Record type:
Article
Abstract
The article proposes a trimodal logical system that can express the strategic ability of coalitions to learn from their experience. The main technical result is the completeness of the proposed system.
Text
2021-tocl-dn
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (753kB)
More information
Published date: 28 June 2021
Additional Information:
Publisher Copyright:
© 2021 Copyright held by the owner/author(s). Publication rights licensed to ACM.
Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
Keywords:
Knowledge, action, axiomatization, completeness, epistemic logic, know-how, strategic game, temporal
Identifiers
Local EPrints ID: 453372
URI: http://eprints.soton.ac.uk/id/eprint/453372
DOI: doi:10.1145/3459993
ISSN: 1529-3785
PURE UUID: 6dad76dc-a470-49bd-a491-e54ccdf64133
Catalogue record
Date deposited: 13 Jan 2022 18:16
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Kaya Deuser
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.