The following pages link to (Q3748269):
Displaying 17 items.
- Branching-time logics with path relativisation (Q386037) (← links)
- Dynamic extensions of arrow logic (Q598299) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- A modal logic for cyclic repeating (Q1201727) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Computation paths logic: An expressive, yet elementary, process logic (Q1295436) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- Reasoning about Joint Action and Coalitional Ability in K n with Intersection (Q3092300) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications (Q3601785) (← links)
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection (Q4236070) (← links)
- A hierarchy of modal logics with relative accessibility relations (Q4531580) (← links)
- (Q5015273) (← links)
- (Q5091278) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
