- Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.details
|
|
First Order Logics for Metric Structures.Bernd I. Dahn - 1980 - Mathematical Logic Quarterly 26 (1‐6):77-88.details
|
|
First Order Logics for Metric Structures.Bernd I. Dahn - 1980 - Mathematical Logic Quarterly 26 (1-6):77-88.details
|
|
Omitting uncountable types and the strength of [0,1]-valued logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.details
|
|
Definability and automorphisms in abstract logics.Xavier Caicedo - 2004 - Archive for Mathematical Logic 43 (8):937-945.details
|
|
From logic to logics (and back again). [REVIEW]Larry Briskman - 1982 - British Journal for the Philosophy of Science 33 (1):77-94.details
|
|
Cofinality Quantifiers in Abstract Elementary Classes and Beyond.Will Boney - forthcoming - Journal of Symbolic Logic:1-15.details
|
|
Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.details
|
|
The many faces of interpolation.Johan Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu - 2022 - Journal of Philosophical Logic 51 (2):283-296.details
|
|
Absolute logics and L∞ω.K. Jon Barwise - 1972 - Annals of Mathematical Logic 4 (3):309-340.details
|
|
Absolute logics and L∞ω.K. Jon Barwise - 1972 - Annals of Mathematical Logic 4 (3):309-340.details
|
|
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.details
|
|
Paraconsistent Metatheory: New Proofs with Old Tools.Guillermo Badia, Zach Weber & Patrick Girard - 2022 - Journal of Philosophical Logic 51 (4):825-856.details
|
|
Maximality of Logic Without Identity.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2024 - Journal of Symbolic Logic 89 (1):147-162.details
|
|
Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.details
|
|
First-Order Friendliness.Guillermo Badia & David Makinson - forthcoming - Review of Symbolic Logic:1-15.details
|
|
Beth's property fails in $l^{.Lee Badger - 1980 - Journal of Symbolic Logic 45 (2):284-290.details
|
|
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.details
|
|
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.details
|
|
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.details
|
|
Barwise: Abstract Model Theory and Generalized Quantifiers.Jouko Va An Anen - 2004 - Bulletin of Symbolic Logic 10 (1):37-53.details
|
|
Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch - 2023 - Logica Universalis 17 (1):23-67.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Generalized compactness of nonmonotonic inference operations.Heinrich Herre - 1995 - Journal of Applied Non-Classical Logics 5 (1):121-135.details
|
|
Objects are (not) ...Friedrich Wilhelm Grafe - 2024 - Archive.Org.details
|
|
Logic, Essence, and Modality — Review of Bob Hale's Necessary Beings. [REVIEW]Christopher Menzel - 2015 - Philosophia Mathematica 23 (3):407-428.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
|
|
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
|
|