Pages that link to "Item:Q5092565"
From MaRDI portal
The following pages link to Undecidability of the Logic of Partial Quasiary Predicates (Q5092565):
Displaying 6 items.
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Undefinability in inquisitive logic with tensor (Q2291224) (← links)
- (Q3791119) (← links)
- (Q4789155) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897786) (← links)