Pages that link to "Item:Q2277437"
From MaRDI portal
The following pages link to Expressive completeness and decidability (Q2277437):
Displaying 5 items.
- Completeness proofs for propositional logic with polynomial-time connectives (Q1123883) (← links)
- Completeness and Decidability in Sequence Logic (Q3498460) (← links)
- (Q3794168) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Complexity, decidability and completeness (Q5480615) (← links)