Důkazové systémy pro koalgebraickou modalitu

Abstrakt

Nalezli jsme dva různé úplné Gentzenovské kalkuly modální logiky založené na jazyce s koalgebraickou modalitou umožňující zobecnění na koalgebraickou modální logiku.

Klíčová slova

• Proof
• systems
• coalgebraic
• cover
• modality