Logic for physical space

2012

Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko

Synthese 186 (3)