Pages that link to "Item:Q3498460"
From MaRDI portal
The following pages link to Completeness and Decidability in Sequence Logic (Q3498460):
Displaying 7 items.
- Sequential operators in computability logic (Q999265) (← links)
- Developing bounded reasoning (Q1006510) (← links)
- Expressive completeness and decidability (Q2277437) (← links)
- Algebraic properties implying weak sequential completeness (Q2725634) (← links)
- Sequents, frames, and completeness (Q2753679) (← links)
- The logic of sequences (Q2888152) (← links)
- Decidability and Specker sequences in intuitionistic mathematics (Q3650323) (← links)