Bases for closed sets of implicants and implicates in temporal logic

 

Abstract

Citation

Please, cite this work as:

[CEG02] P. Cordero, M. Enciso, and I. P. de Guzmán. “Bases for closed sets of implicants and implicates in temporal logic”. In: Acta Informatica 38.9 (2002), pp. 599-619. DOI: 10.1007/S00236-002-0087-2. URL: https://doi.org/10.1007/s00236-002-0087-2.

BibTeX

@Article{Cordero2002,
     author = {Pablo Cordero and Manuel Enciso and Inman P. {de Guzm{’a}n}},
     journal = {Acta Informatica},
     title = {Bases for closed sets of implicants and implicates in temporal logic},
     year = {2002},
     number = {9},
     pages = {599–619},
     volume = {38},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/acta/CorderoEG02.bib},
     doi = {10.1007/S00236-002-0087-2},
     timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
     url = {https://doi.org/10.1007/s00236-002-0087-2},
}

Papers citing this work

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

[1] P. Cordero, G. Gutiérrez, J. Martínez, et al. “A New Algebraic Tool for Automatic Theorem Provers”. In: Annals of Mathematics and Artificial Intelligence 42.4 (Dec. 2004), p. 369–398. ISSN: 1012-2443. DOI: 10.1023/b:amai.0000038312.77514.3c. URL: http://dx.doi.org/10.1023/b:amai.0000038312.77514.3c.

[2] M. Enciso, I. P. del Guzman, and C. Rossi. “Una forma normal temporal independiente del método de deducción”. In: INTELIGENCIA ARTIFICIAL 8.23 (Sep. 2007). ISSN: 1137-3601. DOI: 10.4114/ia.v8i23.790. URL: http://dx.doi.org/10.4114/ia.v8i23.790.

[3] J. Martínez, G. Gutiérrez, I. de Guzmán, et al. “Generalizations of lattices via non-deterministic operators”. In: Discrete Mathematics 295.1–3 (May. 2005), p. 107–141. ISSN: 0012-365X. DOI: 10.1016/j.disc.2004.08.043. URL: http://dx.doi.org/10.1016/j.disc.2004.08.043.

[4] C. Rossi, M. Enciso, and Á. Mora. “A First Order Temporal Logic for Behavior Representation”. In: Advances in Artificial Intelligence – IBERAMIA 2004. Springer Berlin Heidelberg, 2004, p. 408–418. ISBN: 9783540304982. DOI: 10.1007/978-3-540-30498-2_41. URL: http://dx.doi.org/10.1007/978-3-540-30498-2_41.