- The interactivist model.Mark H. Bickhard - 2009 - Synthese 166 (3):547 - 591.details
|
|
Is the Principle of Contradiction a Consequence of $$x^{2}=x$$ x 2 = x?Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):55-81.details
|
|
A strict implication calculus for compact Hausdorff spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.details
|
|
The independence property in generalized dense pairs of structures.Alexander Berenstein, Alf Dolich & Alf Onshuus - 2011 - Journal of Symbolic Logic 76 (2):391 - 404.details
|
|
The axiomatization of override and update.Jasper Berendsen, David N. Jansen, Julien Schmaltz & Frits W. Vaandrager - 2010 - Journal of Applied Logic 8 (1):141-150.details
|
|
Definability with a predicate for a semi-linear set.Michael Benedikt & H. Jerome Keisler - 2003 - Journal of Symbolic Logic 68 (1):319-351.details
|
|
Polynomial rings and weak second-order logic.Anne Bauval - 1985 - Journal of Symbolic Logic 50 (4):953-972.details
|
|
On the elementary theory of pairs of real closed fields. II.Walter Baur - 1982 - Journal of Symbolic Logic 47 (3):669-679.details
|
|
Supercompact cardinals and trees of normal ultrafilters.Julius B. Barbanel - 1982 - Journal of Symbolic Logic 47 (1):89-109.details
|
|
Non Standard Regular Finite Set Theory.Stefano Baratella & Ruggero Ferro - 1995 - Mathematical Logic Quarterly 41 (2):161-172.details
|
|
Model theory of Steiner triple systems.Silvia Barbina & Enrique Casanovas - 2019 - Journal of Mathematical Logic 20 (2):2050010.details
|
|
Global inductive definability.Jon Barwise & Yiannis N. Moschovakis - 1978 - Journal of Symbolic Logic 43 (3):521-534.details
|
|
Big Ramsey degrees in ultraproducts of finite structures.Dana Bartošová, Mirna Džamonja, Rehana Patel & Lynn Scow - 2024 - Annals of Pure and Applied Logic 175 (7):103439.details
|
|
An introduction to recursively saturated and resplendent models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.details
|
|
Taxonomies of model-theoretically defined topological properties.Paul Bankston - 1990 - Journal of Symbolic Logic 55 (2):589-603.details
|
|
Reduced coproducts of compact hausdorff spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.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
|
|
Standard foundations for nonstandard analysis.David Ballard & Karel Hrbacek - 1992 - Journal of Symbolic Logic 57 (2):741-748.details
|
|
Some contributions to definability theory for languages with generalized quantifiers.John T. Baldwin & Douglas E. Miller - 1982 - Journal of Symbolic Logic 47 (3):572-586.details
|
|
Diverse classes.John T. Baldwin - 1989 - Journal of Symbolic Logic 54 (3):875-893.details
|
|
Definability and descent.David Ballard & William Boshuck - 1998 - Journal of Symbolic Logic 63 (2):372-378.details
|
|
A model theoretic approach to malcev conditions.John T. Baldwin & Joel Berman - 1977 - Journal of Symbolic Logic 42 (2):277-288.details
|
|
A Modal Logic for Supervised Learning.Alexandru Baltag, Dazhu Li & Mina Young Pedersen - 2022 - Journal of Logic, Language and Information 31 (2):213-234.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
|
|
The relevant fragment of first order logic.Guillermo Badia - 2016 - Review of Symbolic Logic 9 (1):143-166.details
|
|
On countable fractions from an elementary class.C. J. Ash - 1994 - Journal of Symbolic Logic 59 (4):1410-1413.details
|
|
Against ‘Interpretation’: Quantum Mechanics Beyond Syntax and Semantics.Raoni Wohnrath Arroyo & Gilson Olegario da Silva - 2022 - Axiomathes 32 (6):1243-1279.details
|
|
Some Boolean Algebras with Finitely Many Distinguished Ideals I.Regina Aragón - 1995 - Mathematical Logic Quarterly 41 (4):485-504.details
|
|
Two-variable logic has weak, but not strong, Beth definability.Hajnal Andréka & István Németi - 2021 - Journal of Symbolic Logic 86 (2):785-800.details
|
|
Semi-minimal theories and categoricity.Daniel Andler - 1975 - Journal of Symbolic Logic 40 (3):419-438.details
|
|
Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.details
|
|
Separable models of randomizations.Uri Andrews & H. Jerome Keisler - 2015 - Journal of Symbolic Logic 80 (4):1149-1181.details
|
|
Omitting types for finite variable fragments and complete representations of algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.details
|
|
Independence in randomizations.Uri Andrews, Isaac Goldbring & H. Jerome Keisler - 2019 - Journal of Mathematical Logic 19 (1):1950005.details
|
|
Expressibility of properties of relations.Hajnal Andréka, Ivo Düntsch & István Németi - 1995 - Journal of Symbolic Logic 60 (3):970-991.details
|
|
On the Axiomatizability of the Notion of an Automorphism of a Finite Order.D. A. Anapolitanos & J. Väänänen - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (28-30):433-437.details
|
|
Cyclic Indiscernibles and Skolem Functions.D. A. Anapolitanos - 1981 - Mathematical Logic Quarterly 27 (23-24):353-362.details
|
|
Automorphisms of Finite Order.D. A. Anapolitanos - 1979 - Mathematical Logic Quarterly 25 (33):565-575.details
|
|
Classification of Boolean Algebras of Logic and Probabilities Defined on them by Classical Models.Mohamed A. Amer - 1985 - Mathematical Logic Quarterly 31 (31-34):509-515.details
|
|
Injectives in finitely generated universal Horn classes.Michael H. Albert & Ross Willard - 1987 - Journal of Symbolic Logic 52 (3):786-792.details
|
|
A preservation theorem for ec-structures with applications.Michael H. Albert - 1987 - Journal of Symbolic Logic 52 (3):779-785.details
|
|
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.details
|
|
A note on two-cardinal models.Alan Adamson - 1983 - Mathematical Logic Quarterly 29 (4):193-196.details
|
|
The Copernican Multiverse of Sets.Paul K. Gorbow & Graham E. Leigh - 2022 - Review of Symbolic Logic 15 (4):1033-1069.details
|
|
The Turing Degrees and Keisler’s Order.Maryanthe Malliaris & Saharon Shelah - 2024 - Journal of Symbolic Logic 89 (1):331-341.details
|
|
Prenex normalization and the hierarchical classification of formulas.Makoto Fujiwara & Taishi Kurahashi - 2023 - Archive for Mathematical Logic 63 (3):391-403.details
|
|
Towards the entropy-limit conjecture.Jürgen Landes, Soroush Rafiee Rad & Jon Williamson - 2020 - Annals of Pure and Applied Logic 172 (2):102870.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
|
|