Catálogo de publicaciones - libros

Compartir en
redes sociales

Handbook of Spatial Logics

Marco Aiello ; Ian Pratt-Hartmann ; Johan Van Benthem (eds.)

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Philosophy of Science; Mathematical Logic and Foundations; Geometry; Mathematical Logic and Formal Languages; Topology; Artificial Intelligence (incl. Robotics)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-1-4020-5586-7

ISBN electrónico

978-1-4020-5587-4

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer 2007

Cobertura temática

electronica

Ingeniería eléctrica, electrónica e informática

lengua-y-literatura

Lenguas y literatura

filosofia

Filosofía, ética y religión

Tabla de contenidos

doi: 10.1007/978-1-4020-5587-4_1

What is Spatial Logic?

Marco Aiello; Ian Pratt-Hartmann; Johan Van Benthem

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 1-11

doi: 10.1007/978-1-4020-5587-4_2

First-Order Mereotopology

Ian Pratt-Hartmann

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 13-97

doi: 10.1007/978-1-4020-5587-4_3

Axioms, Algebras and Topology

Brandon Bennett; Ivo Düntsch

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 99-159

doi: 10.1007/978-1-4020-5587-4_4

Qualitative Spatial Reasoning Using Constraint Calculi

Jochen Renz; Bernhard Nebel

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 161-215

doi: 10.1007/978-1-4020-5587-4_5

Modal Logics of Space

Johan van Benthem; Guram Bezhanishvili

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 217-298

doi: 10.1007/978-1-4020-5587-4_6

Topology and Epistemic Logic

Rohit Parikh; Lawrence S. Moss; Chris Steinsvold

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 299-341

doi: 10.1007/978-1-4020-5587-4_7

Logical Theories for Fragments of Elementary Geometry

Philippe Balbiani; Valentin Goranko; Ruaan Kellerman; Dimiter Vakarelov

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 343-428

doi: 10.1007/978-1-4020-5587-4_8

Locales and Toposes as Spaces

Steven Vickers

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 429-496

doi: 10.1007/978-1-4020-5587-4_9

Spatial Logic + Temporal Logic = ?

Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 497-564

doi: 10.1007/978-1-4020-5587-4_10

Dynamic Topological Logic

Philip Kremer; Grigori Mints

sequence variation can have a substantial impact on the secondary and tertiary of a , thereby affecting its and, ultimately, a variety of .

Pp. 565-606