Task VC[1]: Verification Support for Coalgebraic Modal Logics

This task is concerned with the development of verification support for the domain-specific coalgebraic modal logics developed in work package FF; these logics typically have shallow data representations in order to remain decidable; since these calculi shall be combined with deep data representations, we will also investigate proof calculi that support a smooth combination with proof calculi for the data logic.

All Tickets

Ticket Priority Summary Owner
#3 major CoAlgebraic Modallogic With Data autexier

Last modified 8 years ago Last modified on 25.02.2011 10:43:46