The following pages link to (Q5437872):
Displaying 14 items.
- Dynamic extensions of arrow logic (Q598299) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Dynamic doxastic logic: why, how, and where to? (Q885520) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Constructive hybrid games (Q2096468) (← links)
- A fragment of intuitionistic dynamic logic (Q2730719) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS (Q3732958) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- Towards CERes in intuitionistic logic (Q4649567) (← links)
- Constructive Game Logic (Q5041088) (← links)
- (Q5202984) (← links)