- Notions of density that imply representability in algebraic logic.Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon - 1998 - Annals of Pure and Applied Logic 91 (2-3):93-190.details
|
|
A decidable Ehrenfeucht theory with exactly two hyperarithmetic models.Robert C. Reed - 1991 - Annals of Pure and Applied Logic 53 (2):135-168.details
|
|
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.details
|
|
Generalizing classical and effective model theory in theories of operations and classes.Paolo Mancosu - 1991 - Annals of Pure and Applied Logic 52 (3):249-308.details
|
|
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.details
|
|
Nearly Model Complete Theories.David W. Kueker & Brian P. Turnquist - 1999 - Mathematical Logic Quarterly 45 (3):291-298.details
|
|
Some Boolean Algebras with Finitely Many Distinguished Ideals I.Regina Aragón - 1995 - Mathematical Logic Quarterly 41 (4):485-504.details
|
|
On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.details
|
|
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.details
|
|
(1 other version)The fundamental theorem of ultraproduct in Pavelka's logic.Mingsheng Ying - 1992 - Mathematical Logic Quarterly 38 (1):197-201.details
|
|
(1 other version)Permutations and stratified formulae a preservation theorem.Thomas Forster - 1990 - Mathematical Logic Quarterly 36 (5):385-388.details
|
|
(1 other version)Quantifiers determined by partial orderings.Michal Krynicki - 1990 - Mathematical Logic Quarterly 36 (1):79-86.details
|
|
(1 other version)The Elementary Theory of Interval Real Numbers.Stephen D. Comer - 1985 - Mathematical Logic Quarterly 31 (1‐6):89-95.details
|
|
(1 other version)Some Results on the Structure of the ϕ‐Spectrum.Jerrold M. Gold - 1980 - Mathematical Logic Quarterly 26 (32‐33):503-507.details
|
|
(1 other version)A Reflection Property for Saturated Models.Jerrold M. Gold - 1976 - Mathematical Logic Quarterly 22 (1):425-430.details
|
|
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.details
|
|
Representation of MV-algebras by regular ultrapowers of [0, 1].Antonio Di Nola, Giacomo Lenzi & Luca Spada - 2010 - Archive for Mathematical Logic 49 (4):491-500.details
|
|
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.details
|
|
Logic of transition systems.Johan Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.details
|
|
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.details
|
|
A dichotomy for the number of ultrapowers.Ilijas Farah & Saharon Shelah - 2010 - Journal of Mathematical Logic 10 (1):45-81.details
|
|
The stability spectrum for classes of atomic models.John T. Baldwin & Saharon Shelah - 2012 - Journal of Mathematical Logic 12 (1):1250001-.details
|
|
Chain models, trees of singular cardinality and dynamic ef-games.Mirna Džamonja & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):61-85.details
|
|
What kind of logic is “Independence Friendly” logic?Solomon Feferman - unknowndetails
|
|
Herbrand semantics, the potential infinite, and ontology-free logic.Theodore Hailperin - 1992 - History and Philosophy of Logic 13 (1):69-90.details
|
|
What’s Right with a Syntactic Approach to Theories and Models?Sebastian Lutz - 2010 - Erkenntnis (S8):1-18.details
|
|
The interactivist model.Mark H. Bickhard - 2009 - Synthese 166 (3):547 - 591.details
|
|
Technical notes on a theory of simplicity.Brian M. Scott - 1996 - Synthese 109 (2):281 - 289.details
|
|
The old and the new logic of metascience.Veikko Rantala - 1978 - Synthese 39 (2):233 - 247.details
|
|
Constrained semantic transference: A formal theory of metaphors.Bipin Indurkhya - 1986 - Synthese 68 (3):515 - 551.details
|
|
The logical study of science.Johan Benthem - 1982 - Synthese 51 (3):431 - 472.details
|
|
Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.details
|
|
Hybrid terms and sentences.Dietmar Schweigert - 1993 - Studia Logica 52 (3):405 - 417.details
|
|
(1 other version)Zwart and Franssen’s impossibility theorem holds for possible-world-accounts but not for consequence-accounts to verisimilitude.Gerhard Schurz & Paul Weingartner - 2010 - Synthese 172 (3):415 - 436.details
|
|
Quantified modal logic: Non-normal worlds and propositional attitudes.Veikko Rantala - 1982 - Studia Logica 41 (1):41 - 65.details
|
|
Elementary polyhedral mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.details
|
|
Partial monotonicity and a new version of the Ramsey test.John Pais & Peter Jackson - 1992 - Studia Logica 51 (1):21-47.details
|
|
On the danger of half-truths.Daniel Osherson & Scott Weinstein - 1995 - Journal of Philosophical Logic 24 (1):85 - 115.details
|
|
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.details
|
|
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.details
|
|
(1 other version)How not to state t-sentences.Volker Halbach - 2006 - Analysis 66 (4):276–280.details
|
|
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.details
|
|
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.details
|
|
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.details
|
|
What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.details
|
|
Aftermath Of The Nothing.Laurent Dubois - 2017 - In J.-Y. Beziau, A. Costa-Leite & I. M. L. D’Ottaviano (eds.), CLE, v.81. pp. 93-124.details
|
|
The Modal Theory Of Pure Identity And Some Related Decision Problems.Harold T. Hodes - 1984 - Mathematical Logic Quarterly 30 (26-29):415-423.details
|
|
What is Nominalistic Mereology?Jeremy Meyers - 2012 - Journal of Philosophical Logic 43 (1):71-108.details
|
|
(1 other version)Existential Morphisms and Existentially Closed Models of Logical Categories.Ioana Petrescu - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (23-24):363-370.details
|
|
(1 other version)Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field.Sauro Tulipani - 1981 - Mathematical Logic Quarterly 27 (31-35):481-488.details
|
|