Topology, connectedness, and modal logic.
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
Browse the full AiML paper archive.
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
Browse the full AiML paper archive.