Pages that link to "Item:Q4336698"
From MaRDI portal
The following pages link to Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic (Q4336698):
Displaying 9 items.
- Generalized hex and logical characterizations of polynomial space (Q287159) (← links)
- Zero-one laws for first-order formulas with a bounded quantifier depth (Q656220) (← links)
- Infinitary logics and 0-1 laws (Q1193591) (← links)
- Zero-one laws for modal logic (Q1337692) (← links)
- Finitistic proofs of 0-1 laws for fragments of second-order logic (Q1351145) (← links)
- The Kolmogorov expression complexity of logics (Q1363784) (← links)
- Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
- Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview (Q4953235) (← links)
- Finite-Variable Logics Do Not Have Weak Beth Definability Property (Q5350328) (← links)