The d-logic of the real line

DOI10.1093/logcom/exr054zbMath1280.03023OpenAlexW2014467270MaRDI QIDQ4914415

Joel Lucero-Bryan

Publication date: 19 April 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

modal logicderivativeconnectedtopological semanticspath-connected

Mathematics Subject Classification ID

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

Related Items (4)

TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES ⋮ The finite model property for logics with the tangle modality ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4

This page was built for publication: The d-logic of the real line