Journals in DBLP
J. Symb. Log. Josep Maria Font , Miquel Rius An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel Gluschankof The Hahn Representation Theorem for l-Groups in ZFA. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Dybjer A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Renling Jin , H. Jerome Keisler Maharam Spectra of Loeb Spaces. [Citation Graph (0, 0)][DBLP ] Journal ] Joel David Hamkins , Andy Lewis Infinite Time Turing Machines. [Citation Graph (0, 0)][DBLP ] Journal ] Alexander Bochman Belief Contraction as Nonmonotonic Inference. [Citation Graph (0, 0)][DBLP ] Journal ] Max Kubierschky Yet Another Hierarchy Theorem. [Citation Graph (0, 0)][DBLP ] Journal ] Janusz Czelakowski , Ramon Jansana Weakly Algebraizable Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Petr Hájek , Jeff B. Paris , John C. Shepherdson Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Kenneth Kunen , Franklin D. Tall The Real Line in Elementary Submodels of Set Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Katrin Tent A Note on The Model Theory of Generalized Polygons. [Citation Graph (0, 0)][DBLP ] Journal ] Bruno Poizat , Frank O. Wagner Liftez Les Sylows! Une Suite À "Sous-Groupes Périodiques D'Un Groupe Stable". [Citation Graph (0, 0)][DBLP ] Journal ] Hélène Lejeune Paires Élémentaires de Corps Pseudo-Finis: Dénombrement des Complétions. [Citation Graph (0, 0)][DBLP ] Journal ] Karl Schlechta New Techniques and Completeness Results for Preferential Structures. [Citation Graph (0, 0)][DBLP ] Journal ] Jindrich Zapletal Killing Ideals and Adding Reals. [Citation Graph (0, 0)][DBLP ] Journal ] Alexej P. Pynko Subprevarieties Versus Extensions. Application to The Logic of Paradox. [Citation Graph (0, 0)][DBLP ] Journal ] David M. Evans , Frank O. Wagner Supersimple omega-Categorical Groups and Theories. [Citation Graph (0, 0)][DBLP ] Journal ] Jörg Flum , Martin Grohe On Fixed-Point Logic With Counting. [Citation Graph (0, 0)][DBLP ] Journal ] Arnon Avron Implicational F-Structures and Implicational Relevance Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Tomek Bartoszynski , Andrzej Roslanowski , Saharon Shelah After All, There Are Some Inequalities Which Are Provable in ZFC. [Citation Graph (0, 0)][DBLP ] Journal ] Rahim Moosa A Note On Uniform Definability and Minimal Fields of Definition. [Citation Graph (0, 0)][DBLP ] Journal ] Ian Pratt , Dominik J. Schoop Expressivity in Polygonal, Plane Mereotopology. [Citation Graph (0, 0)][DBLP ] Journal ] Keith A. Kearnes Categorical Quasivarieties via Morita Equivalence. [Citation Graph (0, 0)][DBLP ] Journal ] Gábor Sági A Completeness Theorem for Higher Order Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Tracey Baldwin McGrail The Model Theory of Differential Fields with Finitely Many Commuting Derivations. [Citation Graph (0, 0)][DBLP ] Journal ] Andreas Baudisch Closures in Alef-Symbol0 -Categorical Bilinear Maps. [Citation Graph (0, 0)][DBLP ] Journal ] Ágnes Kurucz On Axiomatising Products of Kripke Frames. [Citation Graph (0, 0)][DBLP ] Journal ] Yuri Gurevich , Alexander Moshe Rabinovich Definability and Undefinability with Real Order at The Background. [Citation Graph (0, 0)][DBLP ] Journal ] Jacek Cichon , Adam Krawczyk , Barbara Majcher-Iwanow , Bogdan Weglorz Dualization of The Van Douwen Diagram. [Citation Graph (0, 0)][DBLP ] Journal ] 