- Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.details
|
|
On löwenheim–skolem–tarski numbers for extensions of first order logic.Menachem Magidor & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):87-113.details
|
|
Maximality of Logic Without Identity.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2024 - Journal of Symbolic Logic 89 (1):147-162.details
|
|
Objects are (not) ...Friedrich Wilhelm Grafe - 2024 - Archive.Org.details
|
|
Coalgerbraic Lindströom Theorems.Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 292-309.details
|
|
Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.details
|
|
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.details
|
|
Propositional team logics.Fan Yang & Jouko Väänänen - 2017 - Annals of Pure and Applied Logic 168 (7):1406-1441.details
|
|
On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language.Kai F. Wehmeier - 2021 - Erkenntnis 88 (1):193-213.details
|
|
In memoriam: Per Lindström.Jouko Väänänen & Dag Westerståhl - 2010 - Theoria 76 (2):100-107.details
|
|
Jaakko Hintikka 1929–2015.Jouko Väänänen - 2015 - Bulletin of Symbolic Logic 21 (4):431-436.details
|
|
The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.details
|
|
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory.Jouko Väänänen - 2020 - Theoria 87 (2):349-360.details
|
|
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
The characterization of monadic logic.Leslie H. Tharp - 1973 - Journal of Symbolic Logic 38 (3):481-488.details
|
|
Continuity and elementary logic.Leslie H. Tharp - 1974 - Journal of Symbolic Logic 39 (4):700-716.details
|
|
First‐order logics over fixed domain.R. Gregory Taylor - 2022 - Theoria 88 (3):584-606.details
|
|
Recursive logic frames.Saharon Shelah & Jouko Väänänen - 2006 - Mathematical Logic Quarterly 52 (2):151-164.details
|
|
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.details
|
|
A note on extensions of infinitary logic.Saharon Shelah & Jouko Väänänen - 2005 - Archive for Mathematical Logic 44 (1):63-69.details
|
|
The old and the new logic of metascience.Veikko Rantala - 1978 - Synthese 39 (2):233 - 247.details
|
|
“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic.Jerzy Pogonowski - 2021 - Studies in Logic, Grammar and Rhetoric 66 (3):673-708.details
|
|
Noncharacterizability of the syntax set.John Paulos - 1976 - Journal of Symbolic Logic 41 (2):368-372.details
|
|
A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.details
|
|
Logics From Ultrafilters.Daniele Mundici - forthcoming - Review of Symbolic Logic:1-18.details
|
|
Inverse topological systems and compactness in abstract model theory.Daniele Mundici - 1986 - Journal of Symbolic Logic 51 (3):785-794.details
|
|
A solution to the donkey sentence problem.Adam Morton - 2015 - Analysis 75 (4):554-557.details
|
|
Logic, Essence, and Modality — Review of Bob Hale's Necessary Beings. [REVIEW]Christopher Menzel - 2015 - Philosophia Mathematica 23 (3):407-428.details
|
|
Knowledge representation, the World Wide Web, and the evolution of logic.Christopher Menzel - 2011 - Synthese 182 (2):269-295.details
|
|
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.details
|
|
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.details
|
|
Algorithmic uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.details
|
|
Limit ultrapowers and abstract logics.Paolo Lipparini - 1987 - Journal of Symbolic Logic 52 (2):437-454.details
|
|
Duality for Compact Logics and Substitution in Abstract Model Theory.Paolo Lipparini - 1985 - Mathematical Logic Quarterly 31 (31‐34):517-532.details
|
|
Duality for Compact Logics and Substitution in Abstract Model Theory.Paolo Lipparini - 1985 - Mathematical Logic Quarterly 31 (31-34):517-532.details
|
|
Omitting uncountable types and extensions of Elementary logic.Per Lindström - 1978 - Theoria 44 (3):152-156.details
|
|
Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.details
|
|
On the semantics of the Henkin quantifier.Michał Krynicki & Alistair H. Lachlan - 1979 - Journal of Symbolic Logic 44 (2):184-200.details
|
|
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.Vera Koponen & Tapani Hyttinen - 2015 - Studia Logica 103 (1):1-20.details
|
|
Generalized quantifiers and pebble games on finite structures.Phokion G. Kolaitis & Jouko A. Väänänen - 1995 - Annals of Pure and Applied Logic 74 (1):23-75.details
|
|
On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture.Juliette Kennedy - 2013 - Bulletin of Symbolic Logic 19 (3):351-393.details
|
|
Logicality and model classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.details
|
|
Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.details
|
|
Circularity in soundness and completeness.Richard Kaye - 2014 - Bulletin of Symbolic Logic 20 (1):24-38.details
|
|
Philosophical Problems of Foundations of Logic.Alexander S. Karpenko - 2014 - Studia Humana 3 (1):13-26.details
|
|
Model Theories of Set Theories and Type Theory.Robert Murray Jones - 2014 - Open Journal of Philosophy 4 (1):54-58.details
|
|
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.details
|
|
Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.details
|
|
On the maximality of logics with approximations.José Iovino - 2001 - Journal of Symbolic Logic 66 (4):1909-1918.details
|
|