Pages that link to "Item:Q3454121"
From MaRDI portal
The following pages link to Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121):
Displaying 6 items.
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Tableaux for Reasoning about Atomic Updates (Q2996198) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- Shortcuts and dynamic marking in the tableau method for adaptive logics (Q5955615) (← links)