A Logical Theory of Localization. Belle, V. & Levesque, H. Studia Logica, 2015.
A Logical Theory of Localization [link]Paper  bibtex   
@article{Belle:2015ag,
	Author = {Vaishak Belle and Hector Levesque},
	Date-Added = {2016-02-21 14:56:13 +0000},
	Date-Modified = {2016-02-21 15:43:46 +0000},
	Journal = {Studia Logica},
	Pages = {1--32},
	Title = {A Logical Theory of Localization},
	Url = {http://link.springer.com/article/10.1007/s11225-015-9625-0},
	Year = {2015},
	Bdsk-Url-1 = {http://link.springer.com/article/10.1007/s11225-015-9625-0}}

Downloads: 0