Showing cs.LOShow all
2 papers · 1 filter
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…
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…