Pages that link to "Item:Q3905263"
From MaRDI portal
The following pages link to A correction to “stationary logic” (Q3905263):
Displayed 8 items.
- Remarks in abstract model theory (Q1080418) (← links)
- A cut elimination theorem for stationary logic (Q1095904) (← links)
- On compactness of logics that can express properties of symmetry or connectivity (Q2350211) (← links)
- Undecidable Theories in Stationary Logic (Q3661542) (← links)
- Ultraproduct Invariant Logics (Q3875915) (← links)
- Stationary Logic and Ordinals (Q3929721) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
- Generalized quantification as substructural logic (Q5687328) (← links)