Sahlqvist preservation for topological fixed-point logic

DOI10.1093/logcom/exv010zbMath1444.03044OpenAlexW2321808003MaRDI QIDQ2983394

Could not fetch data.

Publication date: 17 May 2017

Published in: (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d973c917abb2577abc60124318a46712a6d42b7b

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.