Functional systems in the context of temporal{}modal logics with indexed flows

 

Abstract

Abstract We consider logics which define different properties of functions – such as injectivity, surjectivity, monotonicity, etc. – in the context of temporal×modal logic. In this type of logics, the possible worlds semantics is modified by considering each world as a temporal flow and using accessibility functions to represent the connection among them. This approach is adequate to model interactions between processes with clocks that can be either synchronized or not. We study the definability and give indexed axiomatic systems for these properties. Keywords: temporal logicmodal logiclogic in computer sciencedefinability T×W-logicsfunctional axiomatic systems 2000 AMS Subject Classifications : 03B4403B4503B70 Acknowledgements Partially supported by the Spanish research projects TIN2006-15455-C03-01 and P6-FQM-02049.

Citation

Please, cite this work as:

[BGM09] A. Burrieza, I. P. de Guzmán, and E. Mu~noz-Velasco. “Functional systems in the context of temporal×modal logics with indexed flows”. In: Int. J. Comput. Math. 86.10&11 (2009), pp. 1696-1706. DOI: 10.1080/00207160902795619. URL: https://doi.org/10.1080/00207160902795619.

BibTeX

@Article{Burrieza2009,
     author = {Alfredo Burrieza and Inman P. {de Guzm{’a}n} and Emilio Mu~noz-Velasco},
     journal = {Int. J. Comput. Math.},
     title = {Functional systems in the context of temporal{}modal logics with indexed flows},
     year = {2009},
     number = {10{&}11},
     pages = {1696–1706},
     volume = {86},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/ijcm/BurriezaGM09.bib},
     doi = {10.1080/00207160902795619},
     timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
     url = {https://doi.org/10.1080/00207160902795619},
}

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] A. Burrieza, I. P. de Guzmán, and E. Muñoz‐Velasco. “Analyzing completeness of axiomatic functional systems for temporal × modal logics”. In: Mathematical Logic Quarterly 56.1 (Jan. 2010), p. 89–102. ISSN: 1521-3870. DOI: 10.1002/malq.200810038. URL: http://dx.doi.org/10.1002/malq.200810038.