A hierarchical analysis of propositional temporal logic based on intervals
From MaRDI portal
Recommendations
- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
- A hierarchical completeness proof for propositional temporal logic
- Efficient decision procedure for propositional projection temporal logic
- An efficient decision procedure for propositional projection temporal logic
- scientific article; zbMATH DE number 3974944
Cited in
(11)- Verification and enforcement of access control policies
- On coarser interval temporal logics
- A transformation from PPTL to S1S
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
- A propositional modal logic of time intervals
- scientific article; zbMATH DE number 6131597 (Why is no real title available?)
- Propositional temporal proving with reductions to a SAT problem
- A propositional dense time logic
- A hierarchical completeness proof for propositional temporal logic
- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
- Inference of ranking functions for proving temporal properties by abstract interpretation
This page was built for publication: A hierarchical analysis of propositional temporal logic based on intervals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3012536)
