Pages that link to "Item:Q3732958"
From MaRDI portal
The following pages link to ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS (Q3732958):
Displaying 12 items.
- Dynamic extensions of arrow logic (Q598299) (← links)
- Dynamic logic assigned to automata (Q682633) (← links)
- The comparison of the expressive power of first-order dynamic logics (Q791517) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- Dynamic doxastic logic: why, how, and where to? (Q885520) (← links)
- A nondeterministic program logic (Q1091387) (← links)
- Limitations of the program memory and the expressive power of dynamic logics (Q2365759) (← links)
- Some open questions in the theory of program schemes and dynamic logics (Q3835003) (← links)
- (Q4207888) (← links)
- Complexity and expressivity of propositional dynamic logics with finitely many variables (Q5095651) (← links)
- (Q5437872) (← links)
- (Q6171324) (← links)