Characterizing Certain Topological Specifications

DOI10.1007/978-3-642-30642-6_18zbMath1360.68589OpenAlexW55951996MaRDI QIDQ2907500

Bernhard Heinemann

Publication date: 10 September 2012

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30642-6_18

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference ⋮ Hennessy-Milner properties via topological compactness

This page was built for publication: Characterizing Certain Topological Specifications