Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics.

Helle Hvid Hansen, Wolfgang Poiger

Browse the full CALCO paper archive.