A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic

 

Abstract

Citation

Please, cite this work as:

[Con+23] W. Conradie, R. Monego, E. Mu~noz-Velasco, et al. “A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic”. In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece. Ed. by A. Artikis, F. Bruse and L. Hunsberger. Vol. 278. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, pp. 9:1-9:14. DOI: 10.4230/LIPICS.TIME.2023.9. URL: https://doi.org/10.4230/LIPIcs.TIME.2023.9.

BibTeX

@InProceedings{Conradie2023a,
     author = {Willem Conradie and Riccardo Monego and Emilio Mu~noz-Velasco and Guido Sciavicco and Ionel Eduard Stan},
     booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
     title = {A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic},
     year = {2023},
     editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger},
     pages = {9:1–9:14},
     publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{"{u}}r Informatik},
     series = {LIPIcs},
     volume = {278},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/time/ConradieMMSS23.bib},
     doi = {10.4230/LIPICS.TIME.2023.9},
     timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
     url = {https://doi.org/10.4230/LIPIcs.TIME.2023.9},
}