Repositorio
Cómo publicar
Recursos
FAQs

Topological Evidence Logics: Multi-agent Setting

Autor(es) y otros:
Baltag, Alexandru; Bezhanishvili, Nick; Fernández González, Saúl
Palabra(s) clave:

Logic

Dynamic Epistemic Logic

Fecha de publicación:
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
Resumen:

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.

Descripción:

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
Colecciones
Ficheros en el ítem
Thumbnail
Métricas
Compartir
Estadísticas de uso
Estadísticas de uso
Metadatos
Mostrar el registro completo del ítem
CC Reconocimiento – No Comercial – Sin Obra Derivada 4.0 Internacional
Este ítem está sujeto a una licencia Creative Commons