scientific article
From MaRDI portal
Publication:3384161
zbMath1483.68186arXiv1709.02094MaRDI QIDQ3384161
Angelo Montanari, Laura Bozzelli, Alberto Molinari, Adriano Peron
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1709.02094
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (9)
Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ On Composing Finite Forests with Modal Logics ⋮ Model checking interval temporal logics with regular expressions ⋮ Modal logics and local quantifiers: a zoo in the elementary hierarchy ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Checking interval properties of computations
- The complexity of one-agent refinement modal logic
- Intervals and tenses
- The dark side of interval temporal logic: marking the undecidability border
- Expressiveness and completeness of an interval tense logic
- Temporal prepositions and their logic
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
- mcmas: A Model Checker for Multi-agent Systems
- “Sometimes” and “not never” revisited
- Alternation
- A Decision Procedure for the First Order Theory of Real Addition with Order
- A propositional modal logic of time intervals
- Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
- An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
- The Undecidability of the Logic of Subintervals
This page was built for publication:
