Algorithmic Sahlqvist preservation for modal compact Hausdorff spaces

DOI10.1007/978-3-662-55386-2_28zbMath1496.03268OpenAlexW2733468257MaRDI QIDQ1685944

Zhiguang Zhao

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55386-2_28

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categorical methods in general topology (54B30) Frames, locales (06D22)

Related Items (1)

Unnamed Item

This page was built for publication: Algorithmic Sahlqvist preservation for modal compact Hausdorff spaces