The following pages link to (Q5549024):
Displaying 16 items.
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- The relational model of data and cylindric algebras (Q761801) (← links)
- Definability with bounded number of bound variables (Q922523) (← links)
- Preservation of expressive completeness in temporal models (Q1090324) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Expressive completeness failure in branching time structures (Q1109759) (← links)
- Quantifiers as modal operators (Q1150594) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Leon Henkin and Cylindric Algebras (Q3454804) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Deux ou trois choses que je sais de <i>L</i><sub>n</sub> (Q4744254) (← links)
- Cylindric modal logic (Q4842635) (← links)
- (Q5091278) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Provability with Finitely Many Variables (Q5619082) (← links)
