Repository
How to publish
Resources
FAQs

Topological Evidence Logics: Multi-agent Setting

Author:
Baltag, Alexandru; Bezhanishvili, Nick; Fernández González, Saúl
Subject:

Logic

Dynamic Epistemic Logic

Publication date:
2019
Citación:
Baltag, A., Bezhanishvili, N., Fernández González, S. (2019). Topological Evidence Logics: Multi-agent Setting. In: Özgün, A., Zinova, Y. (eds) Language, Logic, and Computation. TbiLLC 2019. Lecture Notes in Computer Science, vol 13206. Springer, Cham. https://doi.org/10.1007/978-3-030-98479-3_12
Descripción física:
p. 237-257
Abstract:

We introduce a multi-agent topological semantics for evidence-based belief and knowledge, which extends the dense interior semantics developed in [2]. We provide the complete logic of this multi-agent framework together with generic models for a fragment of the language. We also define a new notion of group knowledge which differs conceptually from previous approaches.

We introduce a multi-agent topological semantics for evidence-based belief and knowledge, which extends the dense interior semantics developed in [2]. We provide the complete logic of this multi-agent framework together with generic models for a fragment of the language. We also define a new notion of group knowledge which differs conceptually from previous approaches.

Description:

International Tbilisi Symposium, TbiLLC (13th. 2019, Batumi, Georgia)

URI:
https://hdl.handle.net/10651/78191
ISBN:
978-3-030-98479-3
DOI:
https://doi.org/10.1007/978-3-030-98479-3_12
Collections
Files in this item
Thumbnail
Métricas
Compartir
Estadísticas de uso
Estadísticas de uso
Metadata
Show full item record
CC Reconocimiento – No Comercial – Sin Obra Derivada 4.0 Internacional
This item is protected with a Creative Commons License