Unary and two-variable interval logics

DOI10.1007/978-981-15-2221-5_3MaRDI QIDQ6601763zbMATH OpenFDO

Authors Kamal Lodaya

Publication date 11 September 2024

Full work available at URL https://doi.org/10.1007/978-981-15-2221-5_3

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
• First-order logic with two variables and unary temporal logic
• scientific article; zbMATH DE number 6131597
• Expressiveness and completeness of an interval tense logic
• Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes

Cites work

• scientific article; zbMATH DE number 1696444 (Why is no real title available?)
• scientific article; zbMATH DE number 3848604 (Why is no real title available?)
• scientific article; zbMATH DE number 618821 (Why is no real title available?)
• scientific article; zbMATH DE number 1944133 (Why is no real title available?)
• scientific article; zbMATH DE number 1775408 (Why is no real title available?)
• scientific article; zbMATH DE number 2087227 (Why is no real title available?)
• scientific article; zbMATH DE number 7533353 (Why is no real title available?)
• scientific article; zbMATH DE number 7561348 (Why is no real title available?)
• A Dose of Timed Logic, in Guarded Measure
• A Modal Logic for Chopping Intervals
• A Road Map of Interval Temporal Logics and Duration Calculi
• A calculus of durations
• A logic for constant-depth circuits
• A propositional modal logic of time intervals
• Around dot depth two
• Duration calculus. A formal approach to real-time systems.
• Expressive completeness of duration calculus.
• Expressiveness and completeness of an interval tense logic
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• Languages that Capture Complexity Classes
• Logic Meets Algebra: the Case of Regular Languages
• Maintaining knowledge about temporal intervals
• Modal languages and bounded fragments of predicate logic
• Nesting until and since in linear temporal logic
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Temporal logics in computer science. Finite-state systems
• The complexity of propositional linear temporal logics
• Two-variable logic with a between relation
• Unbounded fan-in circuits and associative functions

Cited in

(1)

• Satisfiability problem in interval FP-logic

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

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