The Mckinsey-Tarski theorem for topological evidence logics

DOI10.1007/978-3-662-59533-6_11OpenAlexW2949663400MaRDI QIDQ2303587

Saúl Fernández González, Alexandru Baltag, Nick Bezhanishvili

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_11

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: The Mckinsey-Tarski theorem for topological evidence logics