Pages that link to "Item:Q2643333"
From MaRDI portal
The following pages link to Propositional dynamic logic with recursive programs (Q2643333):
Displaying 22 items.
- Branching-time logics with path relativisation (Q386037) (← links)
- Propositional dynamic logic of nonregular programs (Q792083) (← links)
- The propositional dynamic logic of deterministic, well-structured programs (Q801682) (← links)
- Propositional dynamic logic of context-free programs and fixpoint logic with chop (Q845832) (← links)
- A note on an extension of PDL (Q959057) (← links)
- PDL with data constants (Q1065545) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Visibly linear dynamic logic (Q1786616) (← links)
- More on nonregular PDL: Finite models and Fibonacci-like programs (Q1923105) (← links)
- Temporal logic with recursion (Q2051830) (← links)
- Temporal logics with language parameters (Q2232279) (← links)
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- PDL with negation of atomic programs (Q3647227) (← links)
- Decision complexity of variants of propositional dynamic logic (Q3897033) (← links)
- Reasoning with recursive loops under the PLP framework (Q5277816) (← links)
- Automated Reasoning (Q5307064) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)
- Temporal logics with language parameters (Q6186316) (← links)
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features (Q6545542) (← links)
- Exploring non-regular extensions of propositional dynamic logic with description-logics features (Q6563054) (← links)
- Separating the expressive power of propositional dynamic and modal fixpoint logics (Q6643745) (← links)
