Fuzzy Time in Linear Temporal Logic

DOI10.1145/2629606zbMath1354.03021MaRDI QIDQ2946742

Achille Frigeri, Paola Spoletini, Liliana Pasquale

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11311/1063814

zbMATH Keywords

fuzzy temporal logic; vague requirements

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B44: Temporal logic

Related Items

Reasoning about Quality and Fuzziness of Strategic Behaviors, Model checking fuzzy computation tree logic, Quantitative model checking of linear-time properties based on generalized possibility measures, Symbolic checking of fuzzy CTL on fuzzy program graph, Abstraction and approximation in fuzzy temporal logics and models, Selected Temporal Logic Systems: An Attempt at Engineering Evaluation, Fuzzy Time in Linear Temporal Logic

Cites Work

• Unnamed Item
• Complexity issues in Basic Logic
• Fuzzy sets, probability and measurement
• On a general class of fuzzy connectives
• Fuzziness in Petri nets
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Triangular norms
• A complete many-valued logic with product-conjunction
• A fuzzy real-time temporal logic
• Fuzzy Time in Linear Temporal Logic
• Completeness of the Bounded Satisfiability Problem for Constraint LTL
• A propositional calculus with denumerable matrix
• A CLASS OF FUZZY MEASURES BASED ON TRIANGULAR NORMS A general framework for the combination of uncertain information
• Fuzzy sets
• Logic with truth values in A linearly ordered heyting algebra
• Free L-algebras
• About axiomatic systems of product fuzzy logic