Algebraic and topological methods in computer science
(first year report, 2015/01/31)Abstract
The aim of the thesis is to explore structural and topological properties of extensions of coalgebraic and modal logic in the setting of four-valued logic. Their interplay and applications to a theory of systems will be also examined.
Disclaimer: This text is not an actual doctoral thesis. It is just a first year report aiming to describe a possible topic of the (hopefully) future thesis.