Pages that link to "Item:Q4763536"
From MaRDI portal
The following pages link to Generalized Quantifiers and Logical Reducibilities (Q4763536):
Displaying 35 items.
- On vectorizations of unary generalized quantifiers (Q412063) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Generalized quantifiers and the square of opposition (Q802544) (← links)
- Circle graphs and monadic second-order logic (Q946577) (← links)
- A constant-space sequential model of computation for first-order logic (Q1271562) (← links)
- Quantifiers and congruence closure (Q1300006) (← links)
- Generalized quantifiers and modal logic (Q1314283) (← links)
- How to define a linear order on finite models (Q1371431) (← links)
- Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
- Logical hierarchies in PTIME (Q1817218) (← links)
- Logics that define their own semantics (Q1818429) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Capturing MSO with One Quantifier (Q2947170) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- Skolem Theory and Generalized Quantifiers (Q3511466) (← links)
- (Q3513253) (← links)
- On Complete Problems, Relativizations and Logics for Complexity Classes (Q3586004) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
- Fixed-Point Definability and Polynomial Time (Q3644737) (← links)
- Strategies of the search for derivation of statements with restricted quantifiers (Q3675553) (← links)
- (Q3768890) (← links)
- (Q3778732) (← links)
- Kleene's Logic, Generalized (Q3988058) (← links)
- (Q4218934) (← links)
- Finite Variable Logics in Descriptive Complexity Theory (Q4254565) (← links)
- Fixed-point logics, generalized quantifiers, and oracles (Q4344700) (← links)
- Relativized logspace and generalized quantifiers over finite ordered structures (Q4358054) (← links)
- (Q4362919) (← links)
- On fixed-point logic with counting (Q4508261) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- Relativization of Gurevich’s Conjectures (Q5049042) (← links)
- The hierarchy theorem for generalized quantifiers (Q5687317) (← links)
- Generalized quantification as substructural logic (Q5687328) (← links)
- Logics capturing relativized complexity classes uniformly (Q6064295) (← links)
- Game comonads \& generalised quantifiers (Q6597958) (← links)