2014
Report  Open Access

Logics of space and time

Ciancia V., Latella D., Massink M.

Modal logics  Spatial logics  Topology  F.3.1 Specifying and Verifying and Reasoning about Programs  F.4.1 Mathematical Logic 

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.

Source: ISTI Technical reports, 2014



Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:276558,
	title = {Logics of space and time},
	author = {Ciancia V. and Latella D. and Massink M.},
	institution = {ISTI Technical reports, 2014},
	year = {2014}
}
CNR ExploRA

Bibliographic record

ISTI Repository

Deposited version Open Access

Also available from

milner.inf.ed.ac.ukOpen Access

QUANTICOL
A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours


OpenAIRE