Pages that link to "Item:Q1835666"
From MaRDI portal
The following pages link to Semantical analysis of constructive PDL (Q1835666):
Displaying 5 items.
- Gentzen-type axiomatization for PAL (Q688720) (← links)
- Constructive modal logics. I (Q750417) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)