Strong completeness for iteration-free coalgebraic dynamic logics

Clemens Kupke, Helle Hvid Hansen, Raul Andres Leal

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

9 Citations (Scopus)
118 Downloads (Pure)

Fingerprint

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

Computer Science