List

Diploma thesis:Many-valued coalgebraic logic ( PDF )
Author:Dostál Matěj
Supervisor:Mgr. Marta Bílková, Ph.D.
Keywords:
Abstract:Coalgebraic Moss' logic is useful for description of behaviour of various reactive systems modeled by coalgebras, for example deterministic automata or Kripke frames. In this thesis we introduce the notion of many-valued relation lifting and with its help we define many-valued coalgebraic logic as a generalisation of the standard Moss' logic. We show results concerning its expresiveness.
Submited:Jan 2013
More info: