|
|||||
|
|
Reasoning About Space: The Modal Way |
|
| Authors: | Aiello Marco; van Benthem Johan; Bezhanishvili Guram |
| Affiliation: | 1 Department of Information and Communication Technologies, University of Trento, Via Sommarive 14, 38050 Trento, Italy. E-mail aiellom{at}ieee.org 2 Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands. E-mail: johan{at}science.uva.nl 3 Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM 88003-0001, USA. E-mail: gbezhani{at}nmsu.edu |
| Abstract: | |
| Keywords: | Spatial reasoning modal logic topological interpretation topo-bisimulation serial set |
| 本文献已被 Oxford 等数据库收录！ | |