Multi-agent subset space logic

Authors:
Yì N. Wáng;Thomas Ågotnes
Affiliations:
Dept. of Computing, Mathematics and Physics, Bergen University College, Norway;Dept. of Information Science and Media Studies, University of Bergen, Norway
Venue:
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Year:
2013

Citing 7
Cited 0

Topological reasoning and the logic of knowledge

TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge

Reasoning about knowledge
Modal logic

Modal logic
Knowledge Theoretic Properties of Topological Spaces

International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
A Hybrid Logic for Reasoning about Knowledge and Topology

Journal of Logic, Language and Information
Topology and Knowledge of Multiple Agents

IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
An alternative logic for knowability

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract

Subset space logics have been introduced and studied as a framework for reasoning about a notion of effort in epistemic logic. The seminal Subset Space Logic (SSL) by Moss and Parikh modeled a single agent, and most work in this area has focused on different extensions of the language, or different model classes resulting from restrictions on subset spaces, while still keeping the single-agent assumption. In this paper we argue that the few existing attempts at multi-agent versions of SSL are unsatisfactory, and propose a new multi-agent subset space logic which is a natural extension of single-agent SSL. The main results are a sound and complete axiomatization of this logic, as well as an alternative and equivalent relational semantics.