×

Oxford Logic Guides

Short Title: Oxf. Logic Guides
Publisher: Oxford University Press, Oxford
Online: https://global.oup.com/academic/content/series/o/oxford-logic-guides-olg/?cc=us&lang=en&
Comments: Book series
Documents Indexed: 57 Publications (since 1977)

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 3,277 times in 3,014 Documents Cited by Year
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
319
1997
Sketches of an elephant. A topos theory compendium. I. Zbl 1071.18001
Johnstone, Peter T.
277
2002
Computability and randomness. Zbl 1169.03034
Nies, André
205
2009
Models of Peano arithmetic. Zbl 0744.03037
Kaye, Richard
184
1991
Cardinal arithmetic. Zbl 0848.03025
Shelah, Saharon
181
1994
Geometric stability theory. Zbl 0871.03023
Pillay, Anand
158
1996
Elements of intuitionism. Zbl 0358.02032
Dummett, Michael
135
1977
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart
120
1991
Sketches of an elephant. A topos theory compendium. II. Zbl 1071.18002
Johnstone, Peter T.
114
2002
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
113
1994
Groups of finite Morley rank. Zbl 0816.20001
Borovik, Alexandre; Nesin, Ali
106
1994
Subrecursion. Functions and hierarchies. Zbl 0539.03018
Rose, H. E.
100
1984
Computability and randomness. Zbl 1237.03027
Nies, André
81
2012
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
79
2005
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
79
2001
Toposes and local set theories. An introduction. Zbl 0649.18004
Bell, J. L.
76
1988
Change, choice and inference. A study of belief revision and nonmonotonic reasoning. Zbl 1018.03004
Rott, Hans
72
2001
Category theory. 2nd ed. Zbl 1194.18001
Awodey, Steve
63
2010
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
61
1996
Elements of intuitionism. 2nd ed. Zbl 0949.03059
Dummett, Michael
59
2000
Category theory. Zbl 1100.18001
Awodey, Steve
58
2006
An introduction to stability theory. Zbl 0526.03014
Pillay, Anand
55
1983
The structure of models of Peano arithmetic. Zbl 1101.03029
Kossak, Roman; Schmerl, James H.
53
2006
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael
43
1986
Many-valued logics. Zbl 0807.03010
Malinowski, Grzegorz
36
1993
Features and fluents. Representation of knowledge about dynamical systems. Vol. I. Zbl 0842.68077
Sandewall, Erik
35
1994
Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026
Troelstra, A. S.
34
1977
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen
34
1985
Boolean-valued models and independence proofs in set theory. Zbl 0371.02028
Bell, John Lane
32
1977
Boolean-valued models and independence proofs in set theory. 2nd ed. Zbl 0585.03021
Bell, J. L.
31
1985
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
30
1999
Set theory. Boolean-valued models and independence proofs. 3rd enlarged ed. Zbl 1065.03034
Bell, John L.
27
2005
Simplicity theory. Zbl 1294.03003
Kim, Byunghan
27
2014
Elementary categories, elementary toposes. Zbl 0762.18001
McLarty, Colin
23
1992
Classical propositional operators. An exercise in the foundations of logic. Zbl 0491.03003
Segerberg, Krister
23
1982
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M.
21
1992
Set theory with a universal set. Exploring an untyped universe. 2nd ed. Zbl 0831.03027
Forster, T. E.
17
1995
Elementary categories, elementary toposes. Zbl 0828.18001
McLarty, Colin
15
1995
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
12
1996
Arithmetic, proof theory, and computational complexity. Zbl 0777.00008
11
1993
Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001
Tarski, Alfred
10
1994
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M.
10
1994
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E.
8
1992
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
8
2000
A study of logics. Zbl 0763.03003
Cleave, John P.
5
1991
Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Zbl 0899.00026
5
1998
Reductive logic and proof-search. Proof theory, semantics, and control. Zbl 1062.03003
Pym, David J.; Ritter, Eike
5
2004
The Boole-De Morgan correspondence 1842-1864. Zbl 0505.01018
Smith, G. C.
5
1982
Beginning model theory. The completeness theorem and some consequences. Zbl 0361.02064
Bridge, Jane
5
1977
Set theory. Boolean-valued models and independence proofs. 3rd. ed., corrected paperback ed. with new references. Zbl 1233.03002
Bell, John L.
5
2011
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M.
3
1993
Model theory. Transl. from the Spanish by Ruy J. G. B. Queiroz. Zbl 0922.03001
Manzano, María
3
1999
From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Zbl 1076.03003
2
2005
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
2
1987
Relative category theory and geometric morphisms: A logical approach. Zbl 0751.18001
Chapman, Jonathan; Rowbottom, Frederick
1
1992
Formal number theory and computability. A workbook. Zbl 0504.03002
Fisher, Alec
1
1982
Simplicity theory. Zbl 1294.03003
Kim, Byunghan
27
2014
Computability and randomness. Zbl 1237.03027
Nies, André
81
2012
Set theory. Boolean-valued models and independence proofs. 3rd. ed., corrected paperback ed. with new references. Zbl 1233.03002
Bell, John L.
5
2011
Category theory. 2nd ed. Zbl 1194.18001
Awodey, Steve
63
2010
Computability and randomness. Zbl 1169.03034
Nies, André
205
2009
Category theory. Zbl 1100.18001
Awodey, Steve
58
2006
The structure of models of Peano arithmetic. Zbl 1101.03029
Kossak, Roman; Schmerl, James H.
53
2006
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
79
2005
Set theory. Boolean-valued models and independence proofs. 3rd enlarged ed. Zbl 1065.03034
Bell, John L.
27
2005
From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Zbl 1076.03003
2
2005
Reductive logic and proof-search. Proof theory, semantics, and control. Zbl 1062.03003
Pym, David J.; Ritter, Eike
5
2004
Sketches of an elephant. A topos theory compendium. I. Zbl 1071.18001
Johnstone, Peter T.
277
2002
Sketches of an elephant. A topos theory compendium. II. Zbl 1071.18002
Johnstone, Peter T.
114
2002
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
79
2001
Change, choice and inference. A study of belief revision and nonmonotonic reasoning. Zbl 1018.03004
Rott, Hans
72
2001
Elements of intuitionism. 2nd ed. Zbl 0949.03059
Dummett, Michael
59
2000
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
8
2000
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
30
1999
Model theory. Transl. from the Spanish by Ruy J. G. B. Queiroz. Zbl 0922.03001
Manzano, María
3
1999
Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Zbl 0899.00026
5
1998
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
319
1997
Geometric stability theory. Zbl 0871.03023
Pillay, Anand
158
1996
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
61
1996
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
12
1996
Set theory with a universal set. Exploring an untyped universe. 2nd ed. Zbl 0831.03027
Forster, T. E.
17
1995
Elementary categories, elementary toposes. Zbl 0828.18001
McLarty, Colin
15
1995
Cardinal arithmetic. Zbl 0848.03025
Shelah, Saharon
181
1994
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
113
1994
Groups of finite Morley rank. Zbl 0816.20001
Borovik, Alexandre; Nesin, Ali
106
1994
Features and fluents. Representation of knowledge about dynamical systems. Vol. I. Zbl 0842.68077
Sandewall, Erik
35
1994
Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001
Tarski, Alfred
10
1994
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M.
10
1994
Many-valued logics. Zbl 0807.03010
Malinowski, Grzegorz
36
1993
Arithmetic, proof theory, and computational complexity. Zbl 0777.00008
11
1993
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M.
3
1993
Elementary categories, elementary toposes. Zbl 0762.18001
McLarty, Colin
23
1992
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M.
21
1992
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E.
8
1992
Relative category theory and geometric morphisms: A logical approach. Zbl 0751.18001
Chapman, Jonathan; Rowbottom, Frederick
1
1992
Models of Peano arithmetic. Zbl 0744.03037
Kaye, Richard
184
1991
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart
120
1991
A study of logics. Zbl 0763.03003
Cleave, John P.
5
1991
Toposes and local set theories. An introduction. Zbl 0649.18004
Bell, J. L.
76
1988
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
2
1987
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael
43
1986
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen
34
1985
Boolean-valued models and independence proofs in set theory. 2nd ed. Zbl 0585.03021
Bell, J. L.
31
1985
Subrecursion. Functions and hierarchies. Zbl 0539.03018
Rose, H. E.
100
1984
An introduction to stability theory. Zbl 0526.03014
Pillay, Anand
55
1983
Classical propositional operators. An exercise in the foundations of logic. Zbl 0491.03003
Segerberg, Krister
23
1982
The Boole-De Morgan correspondence 1842-1864. Zbl 0505.01018
Smith, G. C.
5
1982
Formal number theory and computability. A workbook. Zbl 0504.03002
Fisher, Alec
1
1982
Elements of intuitionism. Zbl 0358.02032
Dummett, Michael
135
1977
Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026
Troelstra, A. S.
34
1977
Boolean-valued models and independence proofs in set theory. Zbl 0371.02028
Bell, John Lane
32
1977
Beginning model theory. The completeness theorem and some consequences. Zbl 0361.02064
Bridge, Jane
5
1977
all top 5

Cited by 2,411 Authors

59 Shelah, Saharon
43 Pillay, Anand
32 Bezhanishvili, Guram
31 Nies, André Otfrid
28 Maksimova, Larisa L’vovna
26 Bezhanishvili, Nick
25 Stephan, Frank
24 Barmpalias, George
19 Gabbay, Dov M.
17 Bienvenu, Laurent
17 Downey, Rodney Graham
17 Schmerl, James H.
16 Altınel, Tuna
16 Cherlin, Gregory L.
16 Miller, Joseph S.
15 Greenberg, Noam
15 Rybakov, Vladimir Vladimirovich
14 Enayat, Ali
14 Matet, Pierre
14 Rabinovich, Alexander
14 Zakharyaschev, Michael Viktorovich
13 Calude, Cristian S.
13 Kusraev, Anatoly Georgievich
13 Ng, KengMeng
13 Wolter, Frank
12 Avron, Arnon
12 Beklemishev, Lev D.
12 Gitik, Moti
12 Hansson, Sven Ove
12 Humberstone, Lloyd
12 Moraschini, Tommaso
12 Shapiro, Stewart
12 Spitters, Bas
12 Yu, Liang
12 Yun, Veta Fëdorovna
12 Zafiris, Elias
11 Bell, John Lane
11 Borovik, Alexandre V.
11 Bridges, Douglas Suth
11 Deloro, Adrien
11 Hrushovski, Ehud
11 Jaligot, Eric
11 Kaye, Richard W.
11 Porter, Christopher P.
11 Rinot, Assaf
11 Schuster, Peter Michael
10 Bimbó, Katalin
10 Burdges, Jeffrey
10 Dunn, Jon Michael
10 Eisworth, Todd
10 Goldblatt, Robert Ian
10 Hodkinson, Ian Martin
10 Hölzl, Rupert
10 Jeřábek, Emil
10 Kim, Byunghan
10 Kutateladze, Semën Samsonovich
10 Laskowski, Michael Chris
10 Sernadas, Cristina S.
10 Wagner, Frank Olaf
9 Caramello, Olivia
9 Citkin, Alex
9 Frécon, Olivier
9 Gabelaia, David
9 Kjos-Hanssen, Bjørn
9 Lucero-Bryan, Joel Gregory
9 Merkle, Wolfgang
9 Miyabe, Kenshi
9 Nesin, Ali
9 Simpson, Stephen G.
9 Tent, Katrin
9 Townsend, Christopher F.
9 Vickers, Steven
9 Wcisło, Bartosz
9 Weiermann, Andreas
8 Ghilardi, Silvio
8 Heunen, Chris
8 Kojman, Menachem
8 Kossak, Roman
8 Magidor, Menachem
8 Menni, Matías
8 Rasga, João
8 Sinapova, Dima
8 Van den Berg, Benno
8 Viganò, Luca
8 Visser, Albert
8 Volpe, Marco
8 Wansing, Heinrich Theodor
8 Yokoyama, Keita
7 Brattka, Vasco
7 Cohen, Liron
7 Cordón-Franco, Andrés
7 Cummings, James
7 Džamonja, Mirna
7 Fiorentini, Camillo
7 Freitag, James
7 Friedman, Sy-David
7 Garner, Richard
7 Ishihara, Hajime
7 Jain, Sanjay
7 Kurahashi, Taishi
...and 2,311 more Authors
all top 5

Cited in 244 Journals

283 Annals of Pure and Applied Logic
242 The Journal of Symbolic Logic
116 Studia Logica
114 Journal of Philosophical Logic
97 Notre Dame Journal of Formal Logic
95 Archive for Mathematical Logic
93 Theoretical Computer Science
81 Mathematical Logic Quarterly (MLQ)
75 The Review of Symbolic Logic
64 The Bulletin of Symbolic Logic
63 Synthese
56 Journal of Algebra
54 Journal of Pure and Applied Algebra
52 Transactions of the American Mathematical Society
44 Israel Journal of Mathematics
44 Information and Computation
42 Proceedings of the American Mathematical Society
38 Logica Universalis
36 Artificial Intelligence
35 Advances in Mathematics
34 Applied Categorical Structures
30 History and Philosophy of Logic
29 Journal of Mathematical Logic
28 Journal of Applied Non-Classical Logics
27 MSCS. Mathematical Structures in Computer Science
23 Topology and its Applications
22 Theory of Computing Systems
21 International Journal of Theoretical Physics
21 Algebra and Logic
21 Journal of Computer and System Sciences
21 Siberian Mathematical Journal
21 Theory and Applications of Categories
20 Logical Methods in Computer Science
18 Annals of Mathematics and Artificial Intelligence
16 Fuzzy Sets and Systems
16 Journal of Logic, Language and Information
16 Erkenntnis
16 Journal of Applied Logic
14 Algebra Universalis
14 Journal of Automated Reasoning
13 Journal of Logical and Algebraic Methods in Programming
11 Journal of Mathematical Physics
11 Bulletin of the Section of Logic
10 Communications in Algebra
10 Journal of the American Mathematical Society
10 Indagationes Mathematicae. New Series
10 Logic and Logical Philosophy
9 Information Processing Letters
9 Selecta Mathematica. New Series
8 Mathematical Proceedings of the Cambridge Philosophical Society
8 International Journal of Approximate Reasoning
7 International Journal of General Systems
7 The Mathematical Intelligencer
7 Order
7 Topoi
7 Journal of the European Mathematical Society (JEMS)
7 Foundations of Physics
6 Communications in Mathematical Physics
6 Fundamenta Mathematicae
6 Foundations of Science
6 Sibirskie Èlektronnye Matematicheskie Izvestiya
5 Information Sciences
5 Memoirs of the American Mathematical Society
5 Bulletin of the American Mathematical Society. New Series
5 Journal of the Institute of Mathematics of Jussieu
5 ACM Transactions on Computational Logic
5 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
5 Axiomathes
4 Journal of Geometry and Physics
4 Applied Mathematics and Computation
4 Journal of Functional Programming
4 Annals of Mathematics. Second Series
4 Journal of the Australian Mathematical Society
4 Vladikavkazskiĭ Matematicheskiĭ Zhurnal
4 Journal of Logic and Analysis
4 Forum of Mathematics, Sigma
4 Computability
4 Nôus
4 Journal of Siberian Federal University. Mathematics & Physics
3 Archiv für Mathematische Logik und Grundlagenforschung
3 Discrete Mathematics
3 Mathematical Notes
3 Bulletin of the London Mathematical Society
3 Inventiones Mathematicae
3 Journal of Mathematical Psychology
3 Semigroup Forum
3 Acta Mathematica Hungarica
3 Journal of Symbolic Computation
3 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
3 Journal of Mathematical Sciences (New York)
3 Soft Computing
3 New Mathematics and Natural Computation
3 Tbilisi Mathematical Journal
3 Confluentes Mathematici
3 Frontiers of Computer Science
3 Axioms
3 European Journal of Mathematics
3 Model Theory
2 Archive for History of Exact Sciences
2 Journal of Mathematical Analysis and Applications
...and 144 more Journals
all top 5

Cited in 53 Fields

2,463 Mathematical logic and foundations (03-XX)
586 Computer science (68-XX)
396 Category theory; homological algebra (18-XX)
238 Order, lattices, ordered algebraic structures (06-XX)
193 Group theory and generalizations (20-XX)
127 General topology (54-XX)
91 General and overarching topics; collections (00-XX)
84 Quantum theory (81-XX)
79 History and biography (01-XX)
62 Algebraic geometry (14-XX)
56 Combinatorics (05-XX)
54 Field theory and polynomials (12-XX)
46 General algebraic systems (08-XX)
46 Functional analysis (46-XX)
45 Algebraic topology (55-XX)
36 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
30 Topological groups, Lie groups (22-XX)
29 Measure and integration (28-XX)
28 Associative rings and algebras (16-XX)
26 Probability theory and stochastic processes (60-XX)
23 Number theory (11-XX)
22 Real functions (26-XX)
17 Commutative algebra (13-XX)
17 Differential geometry (53-XX)
15 Dynamical systems and ergodic theory (37-XX)
14 Operator theory (47-XX)
13 Geometry (51-XX)
11 Global analysis, analysis on manifolds (58-XX)
10 Relativity and gravitational theory (83-XX)
8 Several complex variables and analytic spaces (32-XX)
8 Information and communication theory, circuits (94-XX)
7 Manifolds and cell complexes (57-XX)
7 Statistical mechanics, structure of matter (82-XX)
7 Operations research, mathematical programming (90-XX)
6 \(K\)-theory (19-XX)
6 Convex and discrete geometry (52-XX)
5 Statistics (62-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Nonassociative rings and algebras (17-XX)
4 Ordinary differential equations (34-XX)
4 Mechanics of particles and systems (70-XX)
4 Biology and other natural sciences (92-XX)
4 Systems theory; control (93-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
2 Partial differential equations (35-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Abstract harmonic analysis (43-XX)
2 Numerical analysis (65-XX)
1 Functions of a complex variable (30-XX)
1 Difference and functional equations (39-XX)
1 Sequences, series, summability (40-XX)
1 Integral equations (45-XX)
1 Mathematics education (97-XX)

Citations by Year