Strong completeness for iteration-free coalgebraic dynamic logics

Clemens Kupke, Helle Hvid Hansen, Raul Andres Leal

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

6 Citations (Scopus)
90 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Strong completeness for iteration-free coalgebraic dynamic logics'. Together they form a unique fingerprint.

Mathematics