Pages that link to "Item:Q2494725"
From MaRDI portal
The following pages link to Model checking propositional dynamic logic with all extras (Q2494725):
Displaying 24 items.
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- Checking interval properties of computations (Q329413) (← links)
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854) (← links)
- Propositional dynamic logic of context-free programs and fixpoint logic with chop (Q845832) (← links)
- Polyadic dynamic logics for HPSG parsing (Q1016030) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Temporal logics with language parameters (Q2232279) (← links)
- On qualitative route descriptions. Representation, agent models, and computational complexity (Q2341261) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Minimal Proof Search for Modal Logic K Model Checking (Q2915084) (← links)
- Reasoning about Joint Action and Coalitional Ability in K n with Intersection (Q3092300) (← links)
- Logical Foundations of XML and XQuery (Q3638998) (← links)
- (Q5009419) (← links)
- (Q5015399) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
- (Q5091278) (← links)
- Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
- Temporal logics with language parameters (Q6186316) (← links)
- Model checking timed recursive CTL (Q6543268) (← links)
- Separating the expressive power of propositional dynamic and modal fixpoint logics (Q6643745) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)
