Fuzzy Time in Linear Temporal Logic

DOI10.1145/2629606zbMath1354.03021OpenAlexW2056186669MaRDI 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 logicvague requirements

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Temporal logic (03B44)

Related Items (7)

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

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

This page was built for publication: Fuzzy Time in Linear Temporal Logic