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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This paper is based on Saúl Fernández González’s Master’s thesis [10].
- 2.
A set \(U\subseteq X\) is dense whenever \({{\,\mathrm{Cl}\,}}U=X\) or equivalently whenever \(U\cap V\ne \varnothing \) for all nonempty open sets V.
- 3.
We recall that \(\mathsf {S4}\) is the least normal modal logic containing the axioms (T) \(\square \phi \rightarrow \phi \) and (4) \(\square \phi \rightarrow \square \square \phi \); that \(\mathsf {S5}\) is \(\mathsf {S4}\) plus the axiom (5) \(\lnot \square \phi \rightarrow \square \lnot \square \phi \), and that \(\mathsf {S4.2}\) is \(\mathsf {S4}\) plus the axiom (.2) \(\Diamond \square \phi \rightarrow \square \Diamond \phi \).
- 4.
\(K\phi \equiv \square \phi \wedge [\forall ]\square \Diamond \phi \) and \(B\phi \equiv \lnot K \lnot K\phi \).
- 5.
In [10] this is discussed in more depth and an example is provided.
References
Baltag, A., Bezhanishvili, N., Fernández González, S.: The Mckinsey-Tarski theorem for topological evidence logics. In: Iemhoff, R., Moortgat, M., de Queiroz, R. (eds.) WoLLIC 2019. LNCS, vol. 11541, pp. 177–194. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-662-59533-6_11
Baltag, A., Bezhanishvili, N., Özgun, A., Smets, S.: Justified belief and the topology of evidence. In: Vaananen, J., Hirvonen, A., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 83–103. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-52921-8_6
Barwise, J.: Three views of common knowledge. In: Proceedings of Second Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 365–379 (1988)
van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 217–298. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-5587-4_5
van Benthem, J., Bezhanishvili, G., ten Cate, B., Sarenac, D.: Multimodal logics of products of topologies. Stud. Logica 84(3), 369–392 (2006)
van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Stud. Logica 99(1–3), 61 (2011)
van Bethem, J., Sarenac, D.: The geometry of knowledge. Travaux de logique 17, 1–31 (2004)
Bezhanishvili, N., van der Hoek, W.: Structures for epistemic logic. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 339–380. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06025-5_12
Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic, vol. 53. Cambridge University Press, Cambridge (2001)
Fernández González, S.: Generic Models for Topological Evidence Logics. Master’s thesis, University of Amsterdam (2018)
Gettier, E.L.: Is justified true belief knowledge? Analysis 23(6), 121–123 (1963)
Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54(3), 319–379 (1992)
Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Contemporary Philosophy, Ithaca (1962)
McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 1, 141–191 (1944)
Munkres, J.R.: Topology. Prentice Hall, Upper Saddle River (2000)
Özgün, A.: Evidence in Epistemic Logic: A Topological Perspective. Ph.D. thesis, University of Amsterdam, ILLC (2017)
Ramírez, A.: Topological Models for Group Knowledge and Belief. Master’s thesis, University of Amsterdam (2015)
Stalnaker, R.: On logics of knowledge and belief. Philos. Stud. 128(1), 169–199 (2006)
Acknowledgement
We wish to thank Guram Bezhanishvili for very fruitful discussions on these topics. Special thanks go to the reviewers for their very valuable comments, which helped us improve the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Baltag, A., Bezhanishvili, N., Fernández González, S. (2022). 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
Download citation
DOI: https://doi.org/10.1007/978-3-030-98479-3_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-98478-6
Online ISBN: 978-3-030-98479-3
eBook Packages: Computer ScienceComputer Science (R0)