3 papers
cs.LO2026
Proceedings of the Sixteenth International Conference on Advances in Modal Logic
Marta BÃlková, Malvin Gattinger, Iris van der Giessen +2
Advances in Modal Logic (AiML) was founded in 1995 as an initiative devoted to presenting an up-to-date picture of research in modal logic and its many applications. It combines a…
math.LO2025
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine…
cs.LO2024
Bisimulation for Impure Simplicial Complexes
Marta BÃlková, Hans van Ditmarsch, Roman Kuznets +1
As an alternative to Kripke models, simplicial complexes are a versatile semantic primitive on which to interpret epistemic logic. Given a set of vertices, a simplicial complex is…