Fuzzy Time in Linear Temporal Logic

DOI10.1145/2629606MaRDI QIDQ2946742zbMATH OpenOpenAlexWikidataFDO

Authors Achille Frigeri, Liliana Pasquale, Paola Spoletini

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

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

Recommendations

• A fuzzy real-time temporal logic
• Temporal reasoning about fuzzy intervals
• An approach to fuzzy modal logic of time intervals
• scientific article; zbMATH DE number 1304245
• FTClogic: fuzzy temporal constraint logic
• Fuzzy temporal constraint logic: A valid resolution principle
• scientific article; zbMATH DE number 6287569
• Syntax and semantics for a fuzzy temporal constraint logic
• The semantics and generalized tautology of fuzzy temporal logic

Cites work

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

Cited in

(14)

• Syntax and semantics for a fuzzy temporal constraint logic
• Quantitative model checking of linear-time properties based on generalized possibility measures
• Symbolic checking of fuzzy CTL on fuzzy program graph
• A fuzzy real-time temporal logic
• Abstraction and approximation in fuzzy temporal logics and models
• Selected temporal logic systems: an attempt at engineering evaluation
• Fuzzy Time in Linear Temporal Logic
• scientific article; zbMATH DE number 3889434 (Why is no real title available?)
• scientific article; zbMATH DE number 5630721 (Why is no real title available?)
• Model checking fuzzy computation tree logic
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Enriching interactive explanations with fuzzy temporal constraint networks
• Gödel-Dummett linear temporal logic
• Passive learning of fuzzy temporal logic rules from finite traces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946742)