Some Connections between Topological and Modal Logic

DOI10.1002/MALQ.19950410106zbMath0827.03007OpenAlexW2049039586WikidataQ126258347 ScholiaQ126258347MaRDI QIDQ4323831

Kurt Engesser

Publication date: 13 December 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19950410106

zbMATH Keywords

interpolationcompletenessKripke semanticspropositional modal logicneighbourhood semanticstopological model theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Other model constructions (03C30)

This page was built for publication: Some Connections between Topological and Modal Logic