Pages that link to "Item:Q2488268"
From MaRDI portal
The following pages link to Tableaux for constructive concurrent dynamic logic (Q2488268):
Displaying 10 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)
