The following pages link to Dynamic non-commutative logic (Q2268354):
Displaying 6 items.
- Bunched sequential information (Q266883) (← links)
- Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
- Non-commutative logic for compositional distributional semantics (Q1685917) (← links)
- STRUCTURED NONSTANDARD DYNAMIC LOGIC (Q3345770) (← links)
- Dynamic Logic with Non-rigid Functions (Q3613414) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)