Sciweavers

AIML
2008

Completeness of the finitary Moss logic

14 years 10 days ago
Completeness of the finitary Moss logic
We give a sound and complete derivation system for the valid formulas in the finitary version of Moss' coalgebraic logic, for coalgebras of arbitrary type.
Clemens Kupke, Alexander Kurz, Yde Venema
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where AIML
Authors Clemens Kupke, Alexander Kurz, Yde Venema
Comments (0)