Unary and two-variable interval logics

DOI10.1007/978-981-15-2221-5_3zbMATH Open1547.03112MaRDI QIDQ6601763

Kamal Lodaya

Publication date: 11 September 2024

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Nesting until and since in linear temporal logic
• Unbounded fan-in circuits and associative functions
• A calculus of durations
• Modal languages and bounded fragments of predicate logic
• Duration calculus. A formal approach to real-time systems.
• Expressive completeness of duration calculus.
• Expressiveness and completeness of an interval tense logic
• Temporal Logics in Computer Science
• A Dose of Timed Logic, in Guarded Measure
• Around Dot Depth Two
• A logic for constant-depth circuits
• The complexity of propositional linear temporal logics
• Languages that Capture Complexity Classes
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• Two-variable Logic with a Between Relation
• Logic Meets Algebra: the Case of Regular Languages
• A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: Unary and two-variable interval logics