Topology, connectedness, and modal logic (2008)

First Author: Kontchakov R

Attributed to: Computational Logic of Euclidean Spaces funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.dcs.bbk.ac.uk/~roman/papers/aiml-08-55.pdf

Type: Conference/Paper/Proceeding/Abstract