The following pages link to (Q3714043):
Displaying 50 items.
- \(\mu\)-abstract elementary classes and other generalizations (Q272987) (← links)
- Modal ontology and generalized quantifiers (Q373015) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- On the expressive power of counting (Q672336) (← links)
- Computing with infinitary logic (Q672337) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← 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)
- On modal logics of model-theoretic relations (Q831223) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← 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)
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← 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)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
