The following pages link to Combining temporal logic systems (Q1815427):
Displaying 13 items.
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- Synchronization of logics (Q1372360) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- Mixed-time signal temporal logic (Q2176697) (← links)
- A logic for quantum register measurements (Q2306145) (← links)
- Tracking and managing deemed abilities (Q2695376) (← links)
- The Unrestricted Combination of Temporal Logic Systems (Q4545015) (← links)
- Fibred tableaux for multi-implication logics (Q4645223) (← links)
- Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)
- A two‐dimensional metric temporal logic (Q5112385) (← links)
- Integrated Formal Methods (Q5901618) (← links)