scientific article; zbMATH DE number 7802074
From MaRDI portal
Publication:6191010
zbMath1530.68155arXiv2209.10316MaRDI QIDQ6191010
Publication date: 8 February 2024
Full work available at URL: https://arxiv.org/abs/2209.10316
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Checking interval properties of computations
- Complexity analysis of a unifying algorithm for model checking interval temporal logic
- From liveness to promptness
- Complexity and succinctness issues for linear-time hybrid logics
- Intervals and tenses
- Which fragments of the interval temporal logic HS are tractable in model checking?
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
- Model checking interval temporal logics with regular expressions
- The dark side of interval temporal logic: marking the undecidability border
- Expressiveness and completeness of an interval tense logic
- Temporal prepositions and their logic
- First-order logic with two variables and unary temporal logic
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
- A decidable weakening of Compass Logic based on cone-shaped cardinal directions
- Parametric temporal logic for “model measuring”
- Parametric Metric Interval Temporal Logic
- Bounded-Variable Fragments of Hybrid Logics
- “Sometimes” and “not never” revisited
- A propositional modal logic of time intervals
- Interval vs. Point Temporal Logic Model Checking
- The Undecidability of the Logic of Subintervals
- Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
This page was built for publication:
