Advanced search
1 file | 340.37 KB Add to list
Author
Organization

Downloads

  • TopoLTL.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 340.37 KB

Citation

Please use this url to cite or link to this publication:

MLA
Boudou, Joseph, et al. “Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.” Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, 2019, p. 763, doi:10.1007/978-3-030-19570-0_49.
APA
Boudou, J., Diéguez, M., Fernández-Duque, D., & Romero, F. (2019). Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings (p. 763). https://doi.org/10.1007/978-3-030-19570-0_49
Chicago author-date
Boudou, Joseph, Martín Diéguez, David Fernández-Duque, and Fabián Romero. 2019. “Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.” In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, 763. https://doi.org/10.1007/978-3-030-19570-0_49.
Chicago author-date (all authors)
Boudou, Joseph, Martín Diéguez, David Fernández-Duque, and Fabián Romero. 2019. “Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.” In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, 763. doi:10.1007/978-3-030-19570-0_49.
Vancouver
1.
Boudou J, Diéguez M, Fernández-Duque D, Romero F. Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. 2019. p. 763.
IEEE
[1]
J. Boudou, M. Diéguez, D. Fernández-Duque, and F. Romero, “Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic,” in Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, 2019, p. 763.
@inproceedings{8668860,
  author       = {Boudou, Joseph and Diéguez, Martín and Fernández-Duque, David and Romero, Fabián},
  booktitle    = {Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings},
  language     = {und},
  title        = {Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic},
  url          = {http://dx.doi.org/10.1007/978-3-030-19570-0_49},
  year         = {2019},
}

Altmetric
View in Altmetric