Topology, connectedness, and modal logic (2008)

First Author: Roman Kontchakov (Co-Author)
Attributed to:  Computational Logic of Euclidean Spaces funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.aiml.net/volumes/volume7/Kontchakov-PrattHartmann-Wolter-Zakharyaschev.pdf

Type: Journal Article/Review

Parent Publication: Advances in Modal Logic

ISBN: 978-1904987680