Topological Evidence Logics: Multi-agent Setting

Authors
Publication date 2022
Host editors
  • A. Özgün
  • Y. Zinova
Book title Language, Logic, and Computation
Book subtitle 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers
ISBN
  • 9783030984786
  • 9783030984809
ISBN (electronic)
  • 9783030984793
Series Lecture Notes in Computer Science
Event 13th International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2019
Pages (from-to) 237-257
Number of pages 21
Publisher Cham: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-030-98479-3_12
Other links https://www.scopus.com/pages/publications/85128449457
Permalink to this page
Back