Pages that link to "Item:Q1187979"
From MaRDI portal
The following pages link to A note on the tense logic of dominoes (Q1187979):
Displaying 8 items.
- The \(k\)-variable property is stronger than H-dimension \(k\) (Q676186) (← links)
- Peirce algebras (Q1333408) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Dynamic squares (Q1902558) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- Taming logic (Q1909607) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
