57 citations · 208 across the 27 of their papers we have counts for
3 papers · 1 filter
On the size of disjunctive formulas in the -calculus
Clemens Kupke, Johannes Marti, Yde Venema
A key result in the theory of the modal mu-calculus is the disjunctive normal form theorem by Janin & Walukiewicz, stating that every mu-calculus formula is semantically equivalent…
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke +2
A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be reasoned about (proba…
Compositional Game Theory, Compositionally
Robert Atkey, Bruno Gavranović, Neil Ghani +3
We present a new compositional approach to compositional game theory (CGT) based upon Arrows, a concept originally from functional programming, closely related to Tambara modules,…