Peritopological spaces and bisimulations

DOI10.4467/20842589RM.15.005.3914zbMATH Open1397.54003OpenAlexW2201470495MaRDI QIDQ4596928FDOQ4596928

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

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

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)

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)