Foundations of Software Science and Computational Structures

DOI10.1007/b106850zbMath1119.03021OpenAlexW1588712707MaRDI QIDQ5705904

Marcello M. Bonsangue, Alexander Kurz

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106850

zbMATH Keywords

modal logiccoalgebrasStone dualitytopological dualitiestransition systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items (15)

A metrized duality theorem for Markov processes ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Presenting functors on many-sorted varieties and applications ⋮ Proof systems for Moss' coalgebraic logic ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Unnamed Item ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Duality of Equations and Coequations via Contravariant Adjunctions ⋮ Steps and traces ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Coalgebraic Modal Logic Beyond Sets ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

This page was built for publication: Foundations of Software Science and Computational Structures