Uncertainty-Based Semantics for Multi-Agent Knowing How Logics

Carlos Areces
(FAMAF, Universidad Nacional de Córdoba, and CONICET, Argentina)
Raul Fervari
(FAMAF, Universidad Nacional de Córdoba, and CONICET, Argentina)
Andrés R. Saravia
(FAMAF, Universidad Nacional de Córdoba, and CONICET, Argentina)
Fernando R. Velázquez-Quesada
(ILLC, Universiteit van Amsterdam, The Netherlands)

We introduce a new semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the standard presentation of knowing that modalities in classical epistemic logic. We study the relationship between this semantics and previous approaches, showing that our setting is general enough to capture them. We also define a sound and complete axiomatization, and investigate the computational complexity of its model checking and satisfiability problems.

In Joseph Halpern and Andrés Perea: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Beijing, China, June 25-27, 2021, Electronic Proceedings in Theoretical Computer Science 335, pp. 23–37.
Published: 22nd June 2021.

ArXived at: https://dx.doi.org/10.4204/EPTCS.335.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org