- A revolution in the foundations of mathematics?Jaakko Hintikka - 1997 - Synthese 111 (2):155-170.details
|
|
(1 other version)From logic to logics (and back again). [REVIEW]Larry Briskman - 1982 - British Journal for the Philosophy of Science 33 (1):77-94.details
|
|
(1 other version)On the maximality of logics with approximations.José Iovino - 2001 - Journal of Symbolic Logic 66 (4):1909-1918.details
|
|
(1 other version)The formal-structural view of logical consequence: A reply to Gila Sher.William H. Hanson - 2002 - Philosophical Review 111 (2):243-258.details
|
|
(1 other version)The Formal-Structural View of Logical Consequence: A Reply to Gila Sher.William H. Hanson - 2002 - Philosophical Review 111 (2):243-258.details
|
|
(1 other version)Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.details
|
|
(1 other version)Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.details
|
|
(1 other version)Beth's property fails in $l^{.Lee Badger - 1980 - Journal of Symbolic Logic 45 (2):284-290.details
|
|
Propositional team logics.Fan Yang & Jouko Väänänen - 2017 - Annals of Pure and Applied Logic 168 (7):1406-1441.details
|
|
On the semantics of the Henkin quantifier.Michał Krynicki & Alistair H. Lachlan - 1979 - Journal of Symbolic Logic 44 (2):184-200.details
|
|
First-Order Friendliness.Guillermo Badia & David Makinson - forthcoming - Review of Symbolic Logic:1-15.details
|
|
Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.details
|
|
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.details
|
|
A solution to the donkey sentence problem.Adam Morton - 2015 - Analysis 75 (4):554-557.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
On the Comparisons of Logics in Terms of Expressive Power.Diego Pinheiro Fernandes - 2023 - Manuscrito 46 (4):2022-0054.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
|
|
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
|
|
A note on syntactical and semantical functions.Adam Gajda, Micha? Krynicki & Les?aw Szczerba - 1987 - Studia Logica 46 (2):177 - 185.details
|
|
Logicality and model classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.details
|
|
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.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 many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
First‐order logics over fixed domain.R. Gregory Taylor - 2022 - Theoria 88 (3):584-606.details
|
|
Jaakko Hintikka 1929–2015.Jouko Väänänen - 2015 - Bulletin of Symbolic Logic 21 (4):431-436.details
|
|
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.details
|
|
Recursive logic frames.Saharon Shelah & Jouko Väänänen - 2006 - Mathematical Logic Quarterly 52 (2):151-164.details
|
|
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.details
|
|
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.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
|
|
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
|
|
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.Vera Koponen & Tapani Hyttinen - 2015 - Studia Logica 103 (1):1-20.details
|
|
Continuity and elementary logic.Leslie H. Tharp - 1974 - Journal of Symbolic Logic 39 (4):700-716.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
|
|
Barwise: Abstract Model Theory and Generalized Quantifiers.Jouko Va An Anen - 2004 - Bulletin of Symbolic Logic 10 (1):37-53.details
|
|
On the Power of Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (3):89-97.details
|
|
The many faces of interpolation.Johan Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
Circularity in soundness and completeness.Richard Kaye - 2014 - Bulletin of Symbolic Logic 20 (1):24-38.details
|
|
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.details
|
|
Sobre la naturalización de la lógica.Enric Casabán Moya - 2003 - Revista de Filosofía (Madrid) 28 (1):59-75.details
|
|
Knowledge representation, the World Wide Web, and the evolution of logic.Christopher Menzel - 2011 - Synthese 182 (2):269-295.details
|
|
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.details
|
|
Generalized compactness of nonmonotonic inference operations.Heinrich Herre - 1995 - Journal of Applied Non-Classical Logics 5 (1):121-135.details
|
|
Omitting uncountable types and extensions of Elementary logic.Per Lindström - 1978 - Theoria 44 (3):152-156.details
|
|
A history of theoria.Sven Ove Hansson - 2009 - Theoria 75 (1):2-27.details
|
|
Definability and automorphisms in abstract logics.Xavier Caicedo - 2004 - Archive for Mathematical Logic 43 (8):937-945.details
|
|
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.details
|
|
In memoriam: Per Lindström.Jouko Väänänen & Dag Westerståhl - 2010 - Theoria 76 (2):100-107.details
|
|