scientific article; zbMATH DE number 4119600
From MaRDI portal
Publication:4733384
Recommendations
- The temporal logic of branching time
- Decision procedures and expressiveness in the temporal logic of branching time
- Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity
- Branching-time temporal logic and tree automata
- Temporal logic and applications—a tutorial
- A branching time logic with past operators
- scientific article; zbMATH DE number 5790393
- Linear, branching time and joint closure semantics for temporal logic
- Complexity of branching temporal description logics
- Branching-time logics with path relativisation
Cited in
(36)- A non-reified temporal logic
- An extended branching-time Ockhamist temporal logic
- Model checking properties on reduced trace systems
- An infinite hierarchy of temporal logics over branching time
- A survey on temporal logics for specifying and verifying real-time systems
- On the logic of cooperation and propositional control
- scientific article; zbMATH DE number 1705164 (Why is no real title available?)
- Deduction systems for BDI logics with mental state consistency
- Branching time? Pruning time!
- scientific article; zbMATH DE number 4016870 (Why is no real title available?)
- Labelled natural deduction for a bundled branching temporal logic
- Temporal logic and fair discrete systems
- scientific article; zbMATH DE number 3878351 (Why is no real title available?)
- Complexity of branching temporal description logics
- scientific article; zbMATH DE number 4158604 (Why is no real title available?)
- Deciding full branching time logic
- “Sometimes” and “not never” revisited
- Branching-time logics with path relativisation
- scientific article; zbMATH DE number 177267 (Why is no real title available?)
- scientific article; zbMATH DE number 177795 (Why is no real title available?)
- scientific article; zbMATH DE number 1333607 (Why is no real title available?)
- Temporal Logics with Reference Pointers and Computation Tree Logics
- scientific article; zbMATH DE number 1759449 (Why is no real title available?)
- scientific article; zbMATH DE number 1860680 (Why is no real title available?)
- Buy one, get one free!!!
- An initial study of time complexity in infinite-domain constraint satisfaction
- Query learning of derived \(\omega\)-tree languages in polynomial time
- A resolution calculus for the branching-time temporal logic CTL
- Programming Languages and Systems
- Dynamic logic as a uniform framework for theorem proving in intensional logic
- An action based framework for verifying logical and behavioural properties of concurrent systems
- A logic of intentions and beliefs
- The temporal logic of branching time
- Point algebras for temporal reasoning: Algorithms and complexity
- Automated analysis of mutual exclusion algorithms using CCS
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733384)
