43 citations · 305 across the 30 of their papers we have counts for
1 paper · 2 filters
Fredrik Dahlqvist, Alexander Kurz
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically comput…