Multiple-valued semantics for metric temporal logic

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

Fan He

Publication date: 17 August 2023

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

zbMATH Keywords

completenessfinite model propertymetric temporal logicmultiple-valued semantics

Mathematics Subject Classification ID

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

Cites Work

• Handbook of philosophical logic. Vol. 7
• Some Recent Results in Metric Temporal Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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