27 citations · 83 across the 25 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Completeness for Game Logic
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke +2
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-…
math.LO2019
Coalgebraic Geometric Logic: Basic Theory
Nick Bezhanishvili, Jim de Groot, Yde Venema
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebra…