- Universal graphs at the successor of a singular cardinal.Mirna Džamonja & Saharon Shelah - 2003 - Journal of Symbolic Logic 68 (2):366-388.details
|
|
Model Theoretic Algebra.G. L. Cherlin - 1976 - Journal of Symbolic Logic 41 (2):537-545.details
|
|
∀-Free metabelian groups.Olivier Chapuis - 1997 - Journal of Symbolic Logic 62 (1):159-174.details
|
|
Trois theoremes sur l'induction pour Les formuLes ouvertes munies de l'exponentielle.Sedki Boughattas - 2000 - Journal of Symbolic Logic 65 (1):111-154.details
|
|
Resultats optimaux sur l'existence d'une partie entiere dans Les corps ordonnes.Sedki Boughattas - 1993 - Journal of Symbolic Logic 58 (1):326-333.details
|
|
A hierarchy of maps between compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.details
|
|
Transfering saturation, the finite cover property, and stability.John T. Baldwin, Rami Grossberg & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (2):678-684.details
|
|
Definability and descent.David Ballard & William Boshuck - 1998 - Journal of Symbolic Logic 63 (2):372-378.details
|
|
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.details
|
|
$L_a$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15-28.details
|
|
The Logical Study of Science.Johan van Benthem - 1982 - Synthese 51 (3):431-472.details
|
|
An Algebraic Characterization of Equivalent Preferential Models.Zhaohui Zhu & Rong Zhang - 2007 - Journal of Symbolic Logic 72 (3):803 - 833.details
|
|
Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.details
|
|
The fundamental theorem of ultraproduct in Pavelka's logic.Mingsheng Ying - 1992 - Mathematical Logic Quarterly 38 (1):197-201.details
|
|
Compactness, the löwenheim-Skolem property and the direct product of lattices of truth values.Mingsheng Ying - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):521-524.details
|
|
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems.Xinhe Wu - 2023 - Journal of Philosophical Logic 53 (1):293-330.details
|
|
Could experience disconfirm the propositions of arithmetic?Jessica M. Wilson - 2000 - Canadian Journal of Philosophy 30 (1):55--84.details
|
|
A Note on Products and Degree of Types.J. Wierzejewski - 1976 - Mathematical Logic Quarterly 23 (27‐30):431-434.details
|
|
A Note on Products and Degree of Types.J. Wierzejewski - 1977 - Mathematical Logic Quarterly 23 (27-30):431-434.details
|
|
Model theory of strictly upper triangular matrix rings.William H. Wheeler - 1980 - Journal of Symbolic Logic 45 (3):455-463.details
|
|
Boolean universes above Boolean models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.details
|
|
A Note on the Interpolation Theorem in First Order Logic.George Weaver - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):215-218.details
|
|
Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics.George Weaver & Jeffrey Welaish - 1986 - Journal of Symbolic Logic 51 (4):969-980.details
|
|
An Algebraic Proof of Completeness for Monadic Fuzzy Predicate Logic.Jun Tao Wang & Hongwei Wu - forthcoming - Review of Symbolic Logic:1-27.details
|
|
Theories of modules closed under direct products.Roger Villemaire - 1992 - Journal of Symbolic Logic 57 (2):515-521.details
|
|
The two-cardinal problem for languages of arbitrary cardinality.Luis Miguel & Villegas Silva - 2010 - Journal of Symbolic Logic 75 (3):785-801.details
|
|
Alfred Tarski's work in model theory.Robert L. Vaught - 1986 - Journal of Symbolic Logic 51 (4):869-882.details
|
|
Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.details
|
|
One or Two Gentle Remarks about Hans Halvorson’s Critique of the Semantic View.Bas C. van Fraassen - 2014 - Philosophy of Science 81 (2):276-283,.details
|
|
Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.details
|
|
Alfred Tarski's elimination theory for real closed fields.Lou Van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7-19.details
|
|
Finite Undecidability in Nip Fields.Brian Tyrrell - forthcoming - Journal of Symbolic Logic:1-24.details
|
|
On theories having a finite number of nonisomorphic countable models.Akito Tsuboi - 1985 - Journal of Symbolic Logic 50 (3):806-808.details
|
|
Nonstandard methods for finite structures.Akito Tsuboi - 2020 - Mathematical Logic Quarterly 66 (3):367-372.details
|
|
Contributions to the Theory of Semisets IV.Petr Štêpánek - 1974 - Mathematical Logic Quarterly 20 (23‐24):373-384.details
|
|
Model completeness and direct power.Kazem Taghva - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):3-9.details
|
|
On the generator problem.Wieslaw Szwast - 1990 - Mathematical Logic Quarterly 36 (1):23-27.details
|
|
Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1-6):35-39.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack J. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
The Representational Semantic Conception.Mauricio Suárez & Francesca Pero - 2019 - Philosophy of Science 86 (2):344-365.details
|
|
Deflationary representation, inference, and practice.Mauricio Suárez - 2015 - Studies in History and Philosophy of Science Part A 49 (C):36-47.details
|
|
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.details
|
|
Model theory under the axiom of determinateness.Mitchell Spector - 1985 - Journal of Symbolic Logic 50 (3):773-780.details
|
|
An addendum to Demopoulos and Friedman (1985).Graham Solomon - 1989 - Philosophy of Science 56 (3):497-501.details
|
|
Omitting models.Ernest Snapper - 1977 - Journal of Symbolic Logic 42 (1):29-32.details
|
|
Bowtie‐free graphs and generic automorphisms.Daoud Siniora - 2023 - Mathematical Logic Quarterly 69 (2):221-230.details
|
|
Large and small existentially closed structures.H. Simmons - 1976 - Journal of Symbolic Logic 41 (2):379-390.details
|
|
Fitness requirements for scientific theories.Herbert A. Simon - 1983 - British Journal for the Philosophy of Science 34 (4):355-365.details
|
|
Complexity of the Universal Theory of Residuated Ordered Groupoids.Dmitry Shkatov & C. J. Van Alten - 2023 - Journal of Logic, Language and Information 32 (3):489-510.details
|
|