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.

• Type: Conference
• Year: 2008
• Where: AIML
• Authors: Clemens Kupke, Alexander Kurz, Yde Venema
• Keywords: AIML 2008, Complete Derivation, Finitary Version, Logical Reasoning, Valid Formulas