Istituto di Scienza e Tecnologie dell'Informazione     
Ciancia V., Latella D., Massink M. Logics of space and time. QUANTICOL TR-QC-1-2014. Technical report, 2014.
We review some literature in the field of spatial logics. The selection of papers we make is intended as an introductory guide in this broad area. In perspective, this review should be expanded in the future and become tailored to the use of spatial reasoning in the context of population models and their ODE / PDE approximations. The application to keep in mind is the analysis of population models where individuals are scattered over a spatial structure. In this context, typically, space is intended to be multi-dimensional, discrete or continuous; it may be useful to think in terms of Euclidean spaces, but also graph-based relational models may be the subject of spatial reasoning. Furthermore, metrics, measures, probabilities and rates may also be part of the requirements of an analysis methodology.
URL: http://milner.inf.ed.ac.uk/wiki/files/m30750X1/TRQC012014_SpatialLogics_Ciancia_Latella_Massinkpdf.html
Subject Modal logics
Spatial logics
F.3.1 Specifying and Verifying and Reasoning about Programs
F.4.1 Mathematical Logic
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional