The following pages link to There are reasonably nice logics (Q3981457):
Displaying 8 items.
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- A note on extensions of infinitary logic (Q1765098) (← links)
- Ultrafilter translations. I: \((\lambda, \lambda)\)-compactness of logics with a cardinality quantifier (Q1908819) (← links)
- Nice infinitary logics (Q2879888) (← links)
- Downward transfer of satisfiability for sentences of <i>L</i><sup>1,1</sup> (Q3322083) (← links)
- (Q3367331) (← links)
- (Q3604278) (← links)