Proof Theory of a Multi-Lane Spatial Logic.

Sven Linker Martin Hilscher

Published in: ICTAC (2013)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
spatial information
decision problems
partial order
nonmonotonic reasoning
logical equivalence
belief revision
default logic
probabilistic reasoning