Pages that link to "Item:Q2494725"
From MaRDI portal
The following pages link to Model checking propositional dynamic logic with all extras (Q2494725):
Displaying 21 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)
