- Algunos tópicos de Lógica matemática y los Fundamentos de la matemática.Franklin Galindo - manuscriptdetails
- Nota: ¿CUÁL ES EL CARDINAL DEL CONJUNTO DE LOS NÚMEROS REALES?Franklin Galindo - manuscriptdetails
- A statistical learning approach to a problem of induction.Kino Zhao - manuscriptdetails
- Two notes on abstract model theory. I. properties invariant on the range of definable relations between structures.Solomon Feferman with with R. L. Vaught - manuscriptdetails
- Two notes on abstract model theory. II. languages for which the set of valid sentences is semi-invariantly implicitly definable.Solomon Feferman with with R. L. Vaught - manuscriptdetails
- Rijke. PDL for ordered trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten & Marx Maarten - forthcoming - Journal of Applied Non-Classical Logics.details
- Dependent choice, properness, and generic absoluteness.David Asperó & Asaf Karagila - forthcoming - Review of Symbolic Logic:1-25.details
- Syntactic characterizations of first-order structures in mathematical fuzzy logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.details
- Local Applications of Logics via Model-Theoretic Interpretations.Carlos Benito-Monsalvo - forthcoming - Logic and Logical Philosophy:1-22.details
- The additive groups of ℤ and ℚ with predicates for being square‐free.Neer Bhardwaj & Minh Chieu Tran - forthcoming - Journal of Symbolic Logic:1-26.details
- Transmission of Verification.Ethan Brauer & Neil Tennant - forthcoming - Review of Symbolic Logic:1-16.details
- Inferential Quantification and the ω-rule.Constantin C. Brîncuș - forthcoming - In Antonio D’Aragona (ed.), Perspectives on Deduction.details
- Genericity.and Fabio Del Prete C. Beyssade /Alda Mari (ed.) - forthcoming - Oxford University Press.details
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter A. Carnielli & Marcelo E. Coniglio - forthcoming - Logic and Logical Philosophy:1.details
- Games and cardinalities in inquisitive first-order logic.Ivano Ciardelli & Gianluca Grilletti - forthcoming - Review of Symbolic Logic:1-28.details
- Domain Formula Circumscription.Tom Costello - forthcoming - Journal of Logic Language and Information.details
- Sur quelques relations entre Les zéros et Les poLes Des fonctions méromorphes. Applications au developpement de Mittag-Leffler.Jeanne Férentinou-Nicolacopoulou - forthcoming - Eleutheria.details
- Bisimulations for Knowing How Logics.Raul Fervari, Fernando R. Velázquez-Quesada & Yanjing Wang - forthcoming - Review of Symbolic Logic:1-37.details
- Absoluteness and the Skolem Paradox.Michael Hallett - forthcoming - Unpublished.details
- Model Theory of Fields with Finite Group Scheme Actions.Daniel Max Hoffmann & Piotr Kowalski - forthcoming - Journal of Symbolic Logic:1-26.details
- The Taming of Content: Some Thoughts About Domains and Modules.Keith J. Holyoak & Patricia W. Cheng - forthcoming - Thinking and Reasoning.details
- A bounded arithmetictheory for LOGCFL.S. Kuroda - forthcoming - Archive for Mathematical Logic.details
- Maximal Towers and Ultrafilter Bases in Computability Theory.Steffen Lempp, Joseph S. Miller, André Nies & Mariya I. Soskova - forthcoming - Journal of Symbolic Logic:1-21.details
- Badiou, Mathematics, and Model Theory.Paul Livingston - forthcoming - MonoKL.details
- Hyperbolic towers and independent generic sets in the theory of free groups, to appear in the Proceedings of the conference" Recent developments in Model Theory.Lars Louder, Chloé Perin & Rizos Sklinos - forthcoming - Notre Dame Journal of Formal Logic.details
- Groups of Worldview Transformations Implied by Einstein’s Special Principle of Relativity over Arbitrary Ordered Fields.Judit X. Madarász, Mike Stannett & Gergely Székely - forthcoming - Review of Symbolic Logic:1-28.details
- Definability in valued Ore modules.Françoise Point - forthcoming - Bulletin of Symbolic Logic.details
- Quine’s fluted fragment revisited.Ian Pratt-Hartmann, Wiesław Szwast & Lidia Tendera - forthcoming - Journal of Symbolic Logic:1-30.details
- Special Issue on Recent Advances in Logical and Algebraic Approaches to Grammar, volume 7 (4) of.C. Retoré - forthcoming - Journal of Logic Language and Information.details
- Variations on determinacy and.Ramez L. Sami - forthcoming - Journal of Symbolic Logic:1-10.details
- A Fully Model-Theoretic Semantics for Model-Preference Default Systems', Istituto di Elaborazione dell'Informazione, Pisa.F. Sebastiani - forthcoming - Studia Logica.details
- On the notion of Guessing model.Matteo Viale - forthcoming - Annals of Pure and Applied Logic.details
- Model Theory and Proof Theory of the Global Reflection Principle.Mateusz Zbigniew Łełyk - forthcoming - Journal of Symbolic Logic:1-42.details
- Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras.Nick Bezhanishvili, Luca Carai, Silvio Ghilardi & Lucia Landi - 2023 - Annals of Pure and Applied Logic 174 (1):103169.details
- On the proof complexity of logics of bounded branching.Emil Jeřábek - 2023 - Annals of Pure and Applied Logic 174 (1):103181.details
- A Modern Rigorous Approach to Stratification in NF/NFU.Tin Adlešić & Vedran Čačić - 2022 - Logica Universalis 16 (3):451-468.details
- Copying One of a Pair of Structures.Rachael Alvir, Hannah Burchfield & Julia F. Knight - 2022 - Journal of Symbolic Logic 87 (3):1201-1214.details
- The Non-categoricity of Logic (I). The Problem of a Full Formalization.Constantin C. Brîncuș - 2022 - In Probleme de Logică/Problems of Logic. București, România: pp. 137-156.details
- Model theory of monadic predicate logic with the infinity quantifier.Facundo Carreiro, Alessandro Facchini, Yde Venema & Fabio Zanasi - 2022 - Archive for Mathematical Logic 61 (3):465-502.details
- Model theory and combinatorics of banned sequences.Hunter Chase & James Freitag - 2022 - Journal of Symbolic Logic 87 (1):1-20.details
- Priority merge and intersection modalities.Zoé Christoff, Norbert Gratzl & Olivier Roy - 2022 - Review of Symbolic Logic 15 (1):165-196.details
- Model theory of adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.details
- Model-Theoretic Properties of Dynamics on the Cantor Set.Christopher J. Eagle & Alan Getz - 2022 - Notre Dame Journal of Formal Logic 63 (3):357-371.details
- First-Order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier Depth.Rob Egrot & Robin Hirsch - 2022 - Journal of Symbolic Logic 87 (3):1283-1300.details
- Embeddings Into Outer Models.Monroe Eskew & Sy-David Friedman - 2022 - Journal of Symbolic Logic 87 (4):1301-1321.details
- Poset Products as Relational Models.Wesley Fussner - 2022 - Studia Logica 110 (1):95-120.details
- El Axioma de elección en el quehacer matemático contemporáneo.Franklin Galindo & Randy Alzate - 2022 - Aitías 2 (3):49-126.details
- The σ1-definable universal finite sequence.Joel David Hamkins & Kameryn J. Williams - 2022 - Journal of Symbolic Logic 87 (2):783-801.details
- Approximate counting and NP search problems.Leszek Aleksander Kołodziejczyk & Neil Thapen - 2022 - Journal of Mathematical Logic 22 (3).details
- Combing Graphs and Eulerian Diagrams in Eristic.Jens Lemanski & Reetu Bhattacharjee - 2022 - In Valeria Giardino, Sven Linker, Tony Burns, Francesco Bellucci, J. M. Boucheix & Diego Viana (eds.), Diagrammatic Representation and Inference. 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings. Cham: pp. 97–113.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|