Exemplaric expressivity Exemplaric Expressivity of Modal Logics Ana Sokolova University of Salzburg joint work with Bart Jacobs Radboud University Nijmegen Dagstuhl Seminar…
Exemplaric expressivity Exemplaric Expressivity of Modal Logics Ana Sokolova University of Salzburg joint work with Bart Jacobs Radboud University Nijmegen FM Group Seminar,…