Publisher
Springer Nature Switzerland
Reference18 articles.
1. Baltag, A., Bezhanishvili, N., Fernández-Duque, D.: The topology of surprise. In: Kern-Isberner, G., Lakemeyer, G., Meyer, T. (eds.) Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, 31 July–5 August 2022 (2022). https://proceedings.kr.org/2022/4/
2. Baltag, A., Bezhanishvili, N., Fernández-Duque, D.: The topological mu-calculus: completeness and decidability. In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, Rome, Italy, 29 June–2 July 2021, pp. 1–13. IEEE (2021). https://doi.org/10.1109/LICS52264.2021.9470560
3. Chagrov, A.V., Zakharyaschev, M.: Modal logic. In: Oxford Logic Guides (1997)
4. Cohn, A., Renz, J.: Qualitative spatial representation and reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, Foundations of Artificial Intelligence, vol. 3, pp. 551–596. Elsevier (2008)
5. Dawar, A., Otto, M.: Modal characterisation theorems over special classes of frames. Ann. Pure Appl. Logic 161(1), 1–42 (2009)