activity
20112025
most citedWeak Models of Distributed Computing, with Connections to Modal Logic

31 citations · 111 across the 33 of their papers we have counts for

collaborators
Showing 2015 · math.LOShow all

1 paper · 2 filters

math.LO2015

Characterising Modal Definability of Team-Based Logics via the Universal Modality

Katsuhiko Sano, Jonni Virtema

We study model and frame definability of various modal logics. Let ML(A+) denote the fragment of modal logic extended with the universal modality in which the universal modality oc…