The following pages link to (Q4733384):
Displaying 20 items.
- Branching-time logics with path relativisation (Q386037) (← links)
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- A logic of intentions and beliefs (Q689079) (← links)
- The temporal logic of branching time (Q789895) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Automated analysis of mutual exclusion algorithms using CCS (Q911263) (← links)
- 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 (Q929294) (← links)
- A non-reified temporal logic (Q1190791) (← links)
- An extended branching-time Ockhamist temporal logic (Q1288173) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- Deduction systems for BDI logics with mental state consistency (Q2844928) (← links)
- Labelled natural deduction for a bundled branching temporal logic (Q3103980) (← links)
- (Q4790408) (← links)
- Buy one, get one free!!! (Q4895547) (← links)
- (Q5232903) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- Dynamic logic as a uniform framework for theorem proving in intensional logic (Q6488557) (← links)
