Pages that link to "Item:Q1134512"
From MaRDI portal
The following pages link to Descriptively complete process logic (Q1134512):
Displaying 8 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- Process logic with regular formulas (Q1062047) (← links)
- The complementation problem for Büchi automata with applications to temporal logic (Q1088653) (← links)
- Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
- Dynamic linear time temporal logic (Q1295431) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Propositional dynamic logic for concurrent programs (Q1837178) (← links)
- Trace Semantics for IPDL (Q3457701) (← links)
