Pages that link to "Item:Q1120562"
From MaRDI portal
The following pages link to The domino relation: Flattening a two-dimensional logic (Q1120562):
Displaying 10 items.
- On partially ordered semigroups of relations with domino operations. (Q284661) (← links)
- Identities of semigroups of relations with an operator of reflexive double cylindrification (Q465152) (← links)
- A note on the tense logic of dominoes (Q1187979) (← links)
- An axiomatization for until and since over the reals without the IRR rule (Q1207338) (← links)
- Dynamic squares (Q1902558) (← links)
- On identities of relation algebras with domino operations. (Q2356577) (← links)
- Relative necessity reformulated (Q2410891) (← links)
- Many-dimensional arrow logics (Q3130047) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- (Q5239568) (← links)