Fuzzy Halpern and Shoham's interval temporal logics
From MaRDI portal
Publication:6083148
DOI10.1016/j.fss.2022.05.014zbMath1522.03069MaRDI QIDQ6083148
Willem Conradie, Guido Sciavicco, Emilio Muñoz-Velasco, Ionel Eduard Stan, Dario Della Monica
Publication date: 31 October 2023
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
03B52: Fuzzy logic; logic of vagueness
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic