Multiple-valued semantics for metric temporal logic

DOI10.1007/978-3-031-26689-8_8MaRDI QIDQ6132570FDOQ6132570

Authors: Fan He 

Publication date: 17 August 2023

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

Recommendations

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

zbMATH Keywords

completenessmetric temporal logicfinite model propertymultiple-valued semantics

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Some Recent Results in Metric Temporal Logic
• Title not available (Why is that?)
• Handbook of modal logic
• Title not available (Why is that?)
• Handbook of philosophical logic. Vol. 7

Cited In (3)

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

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)