Topological facets of the logic of subset spaces (with emphasis on canonical models)

DOI10.1093/LOGCOM/EXV087zbMATH Open1444.03058OpenAlexW2589847383MaRDI QIDQ5215819

Bernhard Heinemann

Publication date: 13 February 2020

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv087

zbMATH Keywords

topological semanticsbi-modal logicsubset space semanticscanonicity for a propertytopo-definability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Reusing topological nexttime logic

This page was built for publication: Topological facets of the logic of subset spaces (with emphasis on canonical models)

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