A new modal logic for reasoning about space: Spatial propositional neighborhood logic
- Morales, A.
- Navarrete, I.
- Sciavicco, G.
ISSN: 1012-2443
Ano de publicación: 2007
Volume: 51
Número: 1
Páxinas: 1-25
Tipo: Artigo
ISSN: 1012-2443
Ano de publicación: 2007
Volume: 51
Número: 1
Páxinas: 1-25
Tipo: Artigo