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)
Full work available at URL: https://doi.org/10.1016/j.fss.2022.05.014
03B52: Fuzzy logic; logic of vagueness
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- Data structures for symbolic multi-valued model-checking
- Residuated lattices. An algebraic glimpse at substructural logics
- Standard Gödel modal logics
- The temporal semantics of concurrent programs
- Metamathematics of fuzzy logic
- Representations and constructions of similarity-based fuzzy orderings.
- On the relationship between fuzzy description logics and many-valued modal logics
- Similarity relations, fuzzy linear orders, and fuzzy partial orders
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
- Decision procedures and expressiveness in the temporal logic of branching time
- Similarity relations, fuzzy partitions, and fuzzy orderings
- On coarser interval temporal logics
- Making fuzzy description logic more general
- Temporal reasoning about fuzzy intervals
- Similarity relations and fuzzy orderings
- Two-sorted Point-Interval Temporal Logics
- On modal extensions of Product fuzzy logic
- A Decision Tree Approach to Data Classification using Signal Temporal Logic
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Reasoning about temporal relations
- A propositional modal logic of time intervals
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic
- The Undecidability of the Logic of Subintervals
- Data-Driven Statistical Learning of Temporal Logic Properties