Simple completeness proofs for some spatial logics of the real line

DOI10.1142/9789814449274_0009zbMath1364.03032OpenAlexW2317433127MaRDI QIDQ5737990

I. M. Hodkinson

Publication date: 31 May 2017

Published in: Proceedings of the 12th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814449274_0009

zbMATH Keywords

modal logictopological semanticslexicographic sums of linear orders

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

Spatial logic of tangled closure operators and modal mu-calculus

This page was built for publication: Simple completeness proofs for some spatial logics of the real line