Multiple-valued semantics for metric temporal logic

DOI10.1007/978-3-031-26689-8_8MaRDI QIDQ6132570zbMATH OpenFDO

Authors Fan He

Publication date 17 August 2023

Published in Logic and Its Applications (Search for Journal in Brave)

zbMATH Keywords

completenessmetric temporal logicfinite model propertymultiple-valued semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Recommendations

• Two-sorted metric temporal logics
• Decidable metric logics
• Publication:4938638
• A two-dimensional metric temporal logic
• Timer formulas and decidable metric temporal logic

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Handbook of modal logic
• Handbook of philosophical logic. Vol. 7
• Modal logic
• Some Recent Results in Metric Temporal Logic

Cited in

(3)

• Temporal logics on words with multiple data values
• Temporal semantics for concurrent METATEM
• Integrated Formal Methods

This page was built for publication: Multiple-valued semantics for metric temporal logic

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