Pages that link to "Item:Q2454871"
From MaRDI portal
The following pages link to On fork arrow logic and its expressive power (Q2454871):
Displaying 4 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Representability and program construction within fork algebras (Q4383701) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)