An interval-based temporal logic in a multivalued setting

DOI10.1007/3-540-55602-8_177MaRDI QIDQ4264718zbMATH OpenFDO

Authors Mathias Bauer

Publication date 7 October 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55602-8_177

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• A propositional modal logic of time intervals
• scientific article; zbMATH DE number 3889506
• A New Modal Approach to the Logic of Intervals
• A generalized time quantifier approach to approximate reasoning

Cited in

(5)

• scientific article; zbMATH DE number 1670577 (Why is no real title available?)
• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
• Analysis of interval-valued decision formal contexts
• Integrated Formal Methods
• Formulas expressing totally nonstable truth values of formulas

This page was built for publication: An interval-based temporal logic in a multivalued setting

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