Peritopological spaces and bisimulations

DOI10.4467/20842589RM.15.005.3914MaRDI QIDQ4596928zbMATH OpenOpenAlexFDO

Authors Ahmet Hamal, M. Terziler

Publication date 11 December 2017

Full work available at URL https://www.illc.uva.nl/Research/Publications/Reports/PP-2009-29.text.pdf

zbMATH Keywords

bisimulationsmodal definabilityperitopological spaces

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Topological spaces and generalizations (closure spaces, etc.) (54A05) Interpolation, preservation, definability (03C40)

Recommendations

• Modal languages for topology: expressivity and definability
• Some results on modal axiomatization and definability for topological spaces
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
• Spectral and \(T _{0}\)-spaces in d-semantics
• Topologies, Continuity and Bisimulations

This page was built for publication: Peritopological spaces and bisimulations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596928)