Proof Theory of a Multi-Lane Spatial Logic.

Sven Linker, Martin Hilscher

Browse the full ICTAC paper archive.