Cirstea, Corina; Kurz, Alexander; Pattinson, Dirk; Schroder, Lutz; Venema, Yde
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large variety of specific logics used in particular domains. The coalgebraic approach is generic and compositional: tools and techniques simultaneously apply to a large class of application areas and can,...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.