The following pages link to (Q3714043):
Displayed 42 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- On the expressive power of counting (Q672336) (← links)
- Computing with infinitary logic (Q672337) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- On simplicity of formulas (Q757354) (← links)
- Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
- Definability properties and the congruence closure (Q810007) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Propositional dynamic logic with local assignments (Q1062972) (← links)
- Interpolation and the Robinson property for logics not closed under the Boolean operations (Q1074573) (← links)
- Elementary categorial logic, predicates of variable degree, and theory of quantity (Q1121258) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- Semantic networks (Q1202620) (← links)
- On the logic of informational independence and its applications (Q1208148) (← links)
- Topological queries in spatial databases (Q1305920) (← links)
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) (← links)
- How to define a linear order on finite models (Q1371431) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Computational empiricism (Q1571125) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width (Q1764811) (← links)
- A note on extensions of infinitary logic (Q1765098) (← links)
- On ultrafilter logic and special functions (Q1770623) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Ultrafilter translations. I: \((\lambda, \lambda)\)-compactness of logics with a cardinality quantifier (Q1908819) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- Toward classifying unstable theories (Q1923564) (← links)
- An analog of Beth's theorem in normal extensions of the modal logic K4 (Q2366342) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- On the number of ${L}_{\infty \omega _1}$-equivalent non-isomorphic models (Q2701681) (← links)
- Decidability and Undecidability in Probability Logic (Q3605546) (← links)
- A Simple Construction of Robinson Equivalence Relations (Q3808080) (← links)
- Logical dreams (Q4804133) (← links)
- Logic, logics, and logicism (Q5937844) (← links)