Metric Temporal Logic with Counting

DOI10.1007/978-3-662-49630-5_20zbMath1476.03018arXiv1512.09032OpenAlexW2213476453MaRDI QIDQ2811351

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Publication date: 10 June 2016

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

Full work available at URL: https://arxiv.org/abs/1512.09032

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (4)

Unnamed Item ⋮ The compound interest in relaxing punctuality ⋮ Metric Temporal Logic with Counting ⋮ Making Metric Temporal Logic Rational

Cites Work

• Complexity of metric temporal logics with counting and the Pnueli modalities
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• Metric Temporal Logic with Counting
• On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
• On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections]
• On the Expressiveness of MTL with Past Operators
• An Expressive Temporal Logic for Real Time
• Unnamed Item
• Unnamed Item

This page was built for publication: Metric Temporal Logic with Counting