{MAT} Logic: {A} Temporal{}Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies

 

Abstract

Citation

Please, cite this work as:

[Agu+06] G. Aguilera, A. Burrieza, P. Cordero, et al. “MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies”. In: Advances in Artificial Intelligence - IBERAMIA-SBIA 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeir~ao Preto, Brazil, October 23-27, 2006, Proceedings. Ed. by J. S. Sichman, H. Coelho and S. O. Rezende. Vol. 4140. Lecture Notes in Computer Science. Springer, 2006, pp. 602-611. DOI: 10.1007/11874850_64. URL: https://doi.org/10.1007/11874850_64.

BibTeX

@InProceedings{Aguilera2006,
     author = {Gabriel Aguilera and Alfredo Burrieza and Pablo Cordero and Inmaculada Perez {de Guzm{’a}n} and Emilio Mu~noz-Velasco},
     booktitle = {Advances in Artificial Intelligence - {IBERAMIA-SBIA} 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian {AI} Symposium, Ribeir{~{a}}o Preto, Brazil, October 23-27, 2006, Proceedings},
     title = {{MAT} Logic: {A} Temporal{}Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies},
     year = {2006},
     editor = {Jaime Sim~ao Sichman and Helder Coelho and Solange Oliveira Rezende},
     pages = {602–611},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {4140},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/iberamia/AguileraBCGM06.bib},
     doi = {10.1007/11874850_64},
     timestamp = {Fri, 26 May 2023 01:00:00 +0200},
     url = {https://doi.org/10.1007/11874850_64},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

5

CITATIONS

5 Total citations

0 Recent citations

n/a Field Citation Ratio

n/a Relative Citation Ratio

• Citations
• CrossRef - Citation Indexes: 1
• Scopus - Citation Indexes: 5

• Captures
• Mendeley - Readers: 3

-

see details

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

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. “Generalization of some properties of relations in the context of functional temporal×modal logic”. In: International Journal of Computer Mathematics 85.3–4 (Apr. 2008), p. 371–383. ISSN: 1029-0265. DOI: 10.1080/00207160701210141. URL: http://dx.doi.org/10.1080/00207160701210141.

[2] A. Burrieza, I. Fortes, and I. P. de Guzmán. “Completeness of a functional system for surjective functions”. In: Mathematical Logic Quarterly 63.6 (Dec. 2017), p. 574–597. ISSN: 1521-3870. DOI: 10.1002/malq.201600011. URL: http://dx.doi.org/10.1002/malq.201600011.

[3] 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.

[4] I. Cabrera, P. Cordero, G. Gutiérrez, et al. “A coalgebraic approach to non-determinism: Applications to multilattices”. In: Information Sciences 180.22 (Nov. 2010), p. 4323–4335. ISSN: 0020-0255. DOI: 10.1016/j.ins.2010.07.002. URL: http://dx.doi.org/10.1016/j.ins.2010.07.002.

[5] M. Sun, J. Wu, C. Liu, et al. “The Method of Test Oracle Generation Based on Event Temporal Logic”. In: 2017 International Conference on Computer Technology, Electronics and Communication (ICCTEC). IEEE, Dec. 2017, p. 664–670. DOI: 10.1109/icctec.2017.00149. URL: http://dx.doi.org/10.1109/icctec.2017.00149.