Pages that link to "Item:Q1254991"
From MaRDI portal
The following pages link to Sequential method in propositional dynamic logic (Q1254991):
Displaying 7 items.
- Gentzen-type axiomatization for PAL (Q688720) (← links)
- An elementary proof of the completeness of PDL (Q1147690) (← links)
- Semantical analysis of constructive PDL (Q1835666) (← links)
- Propositional dynamic logic for concurrent programs (Q1837178) (← links)
- A sequential formulation of a logic based on fuzzy modalities (Q1915270) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
