Fuzzy Halpern and Shoham's interval temporal logics

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

zbMATH Keywords

satisfiability; expressive power; finite model checking; fuzzy interval temporal logic

Mathematics Subject Classification ID

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