Pages that link to "Item:Q2914598"
From MaRDI portal
The following pages link to Recursive unsolvability of a problem of expressibility in the logic of provability (Q2914598):
Displaying 4 items.
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- Undecidable iterative propositional calculus (Q2364331) (← links)
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable (Q4557171) (← links)