Topological Evidence Logics: Multi-agent Setting

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

doi:https://doi.org/10.1007/978-3-030-98479-3_12

Repositorio

Cómo publicar

Recursos

FAQs

Mostrar el registro sencillo del ítem

Topological Evidence Logics: Multi-agent Setting

dc.contributor.author	Baltag, Alexandru
dc.contributor.author	Bezhanishvili, Nick
dc.contributor.author	Fernández González, Saúl
dc.date.accessioned	2025-03-27T08:58:13Z
dc.date.available	2025-03-27T08:58:13Z
dc.date.issued	2019
dc.identifier.citation	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	spa
dc.identifier.isbn	978-3-030-98479-3
dc.identifier.uri	https://hdl.handle.net/10651/78191
dc.description	International Tbilisi Symposium, TbiLLC (13th. 2019, Batumi, Georgia)
dc.description.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.	spa
dc.format.extent	p. 237-257	spa
dc.language.iso	eng	spa
dc.relation.ispartof	Language, Logic, and Computation. 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers	spa
dc.rights	CC Reconocimiento – No Comercial – Sin Obra Derivada 4.0 Internacional
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject	Logic	spa
dc.subject	Dynamic Epistemic Logic	spa
dc.title	Topological Evidence Logics: Multi-agent Setting	spa
dc.type	conference output	spa
dc.identifier.doi	https://doi.org/10.1007/978-3-030-98479-3_12
dc.rights.accessRights	open access
dc.type.hasVersion	AM	spa

Ficheros en el ítem

Nombre:: TbiLLC2019.pdf
Tamaño:: 381.6Kb
Formato:: PDF
Descripción:: Postprint

Este ítem aparece en la(s) siguiente(s) colección(ones)

Producción científica no UniOvi [182]
Colección que alberga publicaciones del personal de la Universidad con filiación diferente a la Universidad de Oviedo.

Mostrar el registro sencillo del ítem

CC Reconocimiento – No Comercial – Sin Obra Derivada 4.0 Internacional

Este ítem está sujeto a una licencia Creative Commons