Documents Ana Sokolova University of Salzburg joint work with Bart Jacobs Radboud University Nijmegen...

Exemplaric expressivity Exemplaric Expressivity of Modal Logics Ana Sokolova University of Salzburg joint work with Bart Jacobs Radboud University Nijmegen Coalgebra Day,…

Documents Exemplaric Expressivity of Modal Logics

Exemplaric expressivity Exemplaric Expressivity of Modal Logics Ana Sokolova University of Salzburg joint work with Bart Jacobs Radboud University Nijmegen Coalgebra Day,…

Documents Exemplaric Expressivity of Modal Logics

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

Documents Exemplaric Expressivity of Modal Logics

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