Pages that link to "Item:Q3643267"
From MaRDI portal
The following pages link to A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267):
Displaying 10 items.
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
- Verification and enforcement of access control policies (Q2248087) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- A proof system for unified temporal logic (Q2686105) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- (Q5090983) (← links)
