×

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: 59 Publications (since 1977)

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 3,934 times in 3,593 Documents Cited by Year
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
406
1997
Sketches of an elephant. A topos theory compendium. I. Zbl 1071.18001
Johnstone, Peter T.
372
2002
Computability and randomness. Zbl 1169.03034
Nies, André
252
2009
Cardinal arithmetic. Zbl 0848.03025
Shelah, Saharon
245
1994
Models of Peano arithmetic. Zbl 0744.03037
Kaye, Richard
204
1991
Geometric stability theory. Zbl 0871.03023
Pillay, Anand
182
1996
Elements of intuitionism. Zbl 0358.02032
Dummett, Michael
146
1977
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart
133
1991
Sketches of an elephant. A topos theory compendium. II. Zbl 1071.18002
Johnstone, Peter T.
127
2002
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
126
1994
Groups of finite Morley rank. Zbl 0816.20001
Borovik, Alexandre; Nesin, Ali
115
1994
Subrecursion. Functions and hierarchies. Zbl 0539.03018
Rose, H. E.
110
1984
Category theory. 2nd ed. Zbl 1194.18001
Awodey, Steve
106
2010
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
94
2005
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
94
2001
Change, choice and inference. A study of belief revision and nonmonotonic reasoning. Zbl 1018.03004
Rott, Hans
85
2001
Toposes and local set theories. An introduction. Zbl 0649.18004
Bell, J. L.
79
1988
Computability and randomness. Zbl 1237.03027
Nies, André
79
2012
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
73
1996
Elements of intuitionism. 2nd ed. Zbl 0949.03059
Dummett, Michael
71
2000
Category theory. Zbl 1100.18001
Awodey, Steve
71
2006
An introduction to stability theory. Zbl 0526.03014
Pillay, Anand
60
1983
The structure of models of Peano arithmetic. Zbl 1101.03029
Kossak, Roman; Schmerl, James H.
59
2006
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen
48
1985
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael
44
1986
Many-valued logics. Zbl 0807.03010
Malinowski, Grzegorz
42
1993
Set theory. Boolean-valued models and independence proofs. 3rd enlarged ed. Zbl 1065.03034
Bell, John L.
41
2005
Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026
Troelstra, A. S.
41
1977
Features and fluents. Representation of knowledge about dynamical systems. Vol. I. Zbl 0842.68077
Sandewall, Erik
39
1994
Boolean-valued models and independence proofs in set theory. 2nd ed. Zbl 0585.03021
Bell, J. L.
36
1985
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
34
1999
Simplicity theory. Zbl 1294.03003
Kim, Byunghan
34
2014
Boolean-valued models and independence proofs in set theory. Zbl 0371.02028
Bell, John Lane
32
1977
Classical propositional operators. An exercise in the foundations of logic. Zbl 0491.03003
Segerberg, Krister
27
1982
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M.
25
1992
Elementary categories, elementary toposes. Zbl 0762.18001
McLarty, Colin
25
1992
Set theory with a universal set. Exploring an untyped universe. 2nd ed. Zbl 0831.03027
Forster, T. E.
19
1995
Arithmetic, proof theory, and computational complexity. Zbl 0777.00008
18
1993
Elementary categories, elementary toposes. Zbl 0828.18001
McLarty, Colin
16
1995
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
15
1996
Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001
Tarski, Alfred
12
1994
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M.
12
1994
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
10
2000
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E.
9
1992
Set theory. Boolean-valued models and independence proofs. 3rd. ed., corrected paperback ed. with new references. Zbl 1233.03002
Bell, John L.
9
2011
Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Zbl 0899.00026
8
1998
Model theory. Transl. from the Spanish by Ruy J. G. B. Queiroz. Zbl 0922.03001
Manzano, María
7
1999
Reductive logic and proof-search. Proof theory, semantics, and control. Zbl 1062.03003
Pym, David J.; Ritter, Eike
7
2004
Beginning model theory. The completeness theorem and some consequences. Zbl 0361.02064
Bridge, Jane
6
1977
A study of logics. Zbl 0763.03003
Cleave, John P.
6
1991
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M.
5
1993
The Boole-De Morgan correspondence 1842-1864. Zbl 0505.01018
Smith, G. C.
5
1982
Consequence relations. An introduction to the Lindenbaum-Tarski method. Zbl 1530.03003
Citkin, Alex; Muravitsky, Alexei
3
2022
Fragments of first-order logic. Zbl 07645439
Pratt-Hartmann, Ian
3
2023
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
Bolzano’s logical system. Zbl 1370.01001
Casari, Ettore
1
2016
Formal number theory and computability. A workbook. Zbl 0504.03002
Fisher, Alec
1
1982
Relative category theory and geometric morphisms: A logical approach. Zbl 0751.18001
Chapman, Jonathan; Rowbottom, Frederick
1
1992
Fragments of first-order logic. Zbl 07645439
Pratt-Hartmann, Ian
3
2023
Consequence relations. An introduction to the Lindenbaum-Tarski method. Zbl 1530.03003
Citkin, Alex; Muravitsky, Alexei
3
2022
Bolzano’s logical system. Zbl 1370.01001
Casari, Ettore
1
2016
Simplicity theory. Zbl 1294.03003
Kim, Byunghan
34
2014
Computability and randomness. Zbl 1237.03027
Nies, André
79
2012
Set theory. Boolean-valued models and independence proofs. 3rd. ed., corrected paperback ed. with new references. Zbl 1233.03002
Bell, John L.
9
2011
Category theory. 2nd ed. Zbl 1194.18001
Awodey, Steve
106
2010
Computability and randomness. Zbl 1169.03034
Nies, André
252
2009
Category theory. Zbl 1100.18001
Awodey, Steve
71
2006
The structure of models of Peano arithmetic. Zbl 1101.03029
Kossak, Roman; Schmerl, James H.
59
2006
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
94
2005
Set theory. Boolean-valued models and independence proofs. 3rd enlarged ed. Zbl 1065.03034
Bell, John L.
41
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
7
2004
Sketches of an elephant. A topos theory compendium. I. Zbl 1071.18001
Johnstone, Peter T.
372
2002
Sketches of an elephant. A topos theory compendium. II. Zbl 1071.18002
Johnstone, Peter T.
127
2002
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
94
2001
Change, choice and inference. A study of belief revision and nonmonotonic reasoning. Zbl 1018.03004
Rott, Hans
85
2001
Elements of intuitionism. 2nd ed. Zbl 0949.03059
Dummett, Michael
71
2000
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
10
2000
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
34
1999
Model theory. Transl. from the Spanish by Ruy J. G. B. Queiroz. Zbl 0922.03001
Manzano, María
7
1999
Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Zbl 0899.00026
8
1998
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
406
1997
Geometric stability theory. Zbl 0871.03023
Pillay, Anand
182
1996
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
73
1996
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
15
1996
Set theory with a universal set. Exploring an untyped universe. 2nd ed. Zbl 0831.03027
Forster, T. E.
19
1995
Elementary categories, elementary toposes. Zbl 0828.18001
McLarty, Colin
16
1995
Cardinal arithmetic. Zbl 0848.03025
Shelah, Saharon
245
1994
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
126
1994
Groups of finite Morley rank. Zbl 0816.20001
Borovik, Alexandre; Nesin, Ali
115
1994
Features and fluents. Representation of knowledge about dynamical systems. Vol. I. Zbl 0842.68077
Sandewall, Erik
39
1994
Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001
Tarski, Alfred
12
1994
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M.
12
1994
Many-valued logics. Zbl 0807.03010
Malinowski, Grzegorz
42
1993
Arithmetic, proof theory, and computational complexity. Zbl 0777.00008
18
1993
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M.
5
1993
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M.
25
1992
Elementary categories, elementary toposes. Zbl 0762.18001
McLarty, Colin
25
1992
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E.
9
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
204
1991
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart
133
1991
A study of logics. Zbl 0763.03003
Cleave, John P.
6
1991
Toposes and local set theories. An introduction. Zbl 0649.18004
Bell, J. L.
79
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
44
1986
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen
48
1985
Boolean-valued models and independence proofs in set theory. 2nd ed. Zbl 0585.03021
Bell, J. L.
36
1985
Subrecursion. Functions and hierarchies. Zbl 0539.03018
Rose, H. E.
110
1984
An introduction to stability theory. Zbl 0526.03014
Pillay, Anand
60
1983
Classical propositional operators. An exercise in the foundations of logic. Zbl 0491.03003
Segerberg, Krister
27
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
146
1977
Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026
Troelstra, A. S.
41
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
6
1977
all top 5

Cited by 2,830 Authors

75 Shelah, Saharon
47 Pillay, Anand
38 Bezhanishvili, Guram
38 Nies, André Otfrid
36 Bezhanishvili, Nick
32 Maksimova, Larisa L’vovna
26 Stephan, Frank
24 Barmpalias, George
21 Downey, Rodney Graham
20 Bienvenu, Laurent
19 Gabbay, Dov M.
19 Greenberg, Noam
19 Matet, Pierre
19 Rinot, Assaf
18 Altınel, Tuna
18 Rybakov, Vladimir Vladimirovich
17 Cherlin, Gregory L.
17 Miller, Joseph S.
17 Rabinovich, Alexander
17 Schmerl, James H.
16 Caramello, Olivia
16 Enayat, Ali
16 Kusraev, Anatoliĭ Georgievich
15 Gitik, Moti
15 Moraschini, Tommaso
15 Shapiro, Stewart
15 Yun, Veta Fëdorovna
14 Avron, Arnon
14 Porter, Christopher P.
14 Wolter, Frank
14 Zakharyaschev, Michael Viktorovich
13 Borovik, Alexandre V.
13 Bridges, Douglas Suth
13 Calude, Cristian S.
13 Deloro, Adrien
13 Hansson, Sven Ove
13 Humberstone, Lloyd
13 Kojman, Menachem
13 Ng, KengMeng
13 Yu, Liang
12 Beklemishev, Lev D.
12 Hrushovski, Ehud
12 Miyabe, Kenshi
12 Rott, Hans
12 Schuster, Peter Michael
12 Spitters, Bas
12 Zafiris, Elias
11 Bell, John Lane
11 Eisworth, Todd
11 Ghilardi, Silvio
11 Jaligot, Eric
11 Jeřábek, Emil
11 Kaye, Richard W.
11 Kim, Byunghan
11 Kutateladze, Semën Samsonovich
11 Lucero-Bryan, Joel Gregory
11 Sernadas, Cristina S.
11 Wcisło, Bartosz
10 Bimbó, Katalin
10 Burdges, Jeffrey
10 Dunn, Jon Michael
10 Džamonja, Mirna
10 Gabelaia, David
10 Goldblatt, Robert Ian
10 Hodkinson, Ian Martin
10 Laskowski, Michael Chris
10 Łełyk, Mateusz Zbigniew
10 Lewis-Pye, Andrew E. M.
10 Ma, Minghui
10 Menni, Matías
10 Tent, Katrin
10 Vickers, Steven
10 Wagner, Frank Olaf
10 Yokoyama, Keita
9 Balbiani, Philippe
9 Citkin, Alex
9 Cohen, Liron
9 Frécon, Olivier
9 Garti, Shimon
9 Heunen, Chris
9 Hölzl, Rupert
9 Kjos-Hanssen, Bjørn
9 Merkle, Wolfgang
9 Monin, Benoît
9 Nesin, Ali
9 Pym, David J.
9 Rasga, João
9 Simpson, Stephen G.
9 Sklinos, Rizos
9 Visser, Albert
9 Weiermann, Andreas
8 Brattka, Vasco
8 Conant, Gabriel
8 Coquand, Thierry
8 Cordón-Franco, Andrés
8 Fiorentini, Camillo
8 Iemhoff, Rosalie
8 Ishihara, Hajime
8 Jain, Sanjay
8 Kossak, Roman
...and 2,730 more Authors
all top 5

Cited in 279 Journals

324 Annals of Pure and Applied Logic
256 The Journal of Symbolic Logic
131 Studia Logica
126 Journal of Philosophical Logic
114 Archive for Mathematical Logic
104 Theoretical Computer Science
102 Notre Dame Journal of Formal Logic
101 Mathematical Logic Quarterly (MLQ)
87 The Review of Symbolic Logic
79 Synthese
72 The Bulletin of Symbolic Logic
64 Journal of Pure and Applied Algebra
60 Journal of Algebra
55 Transactions of the American Mathematical Society
54 Israel Journal of Mathematics
50 Information and Computation
47 Proceedings of the American Mathematical Society
44 Logica Universalis
43 Advances in Mathematics
43 Applied Categorical Structures
41 Artificial Intelligence
38 Theory and Applications of Categories
33 Logical Methods in Computer Science
32 Journal of Applied Non-Classical Logics
32 Journal of Mathematical Logic
30 History and Philosophy of Logic
30 Mathematical Structures in Computer Science
27 Topology and its Applications
24 Algebra and Logic
23 Fuzzy Sets and Systems
22 International Journal of Theoretical Physics
22 Siberian Mathematical Journal
22 Theory of Computing Systems
21 Journal of Computer and System Sciences
20 Journal of Logic, Language and Information
20 Annals of Mathematics and Artificial Intelligence
19 Algebra Universalis
18 Journal of Applied Logic
17 Erkenntnis
16 Bulletin of the Section of Logic
16 Journal of Automated Reasoning
15 Journal of Logical and Algebraic Methods in Programming
14 Journal of Mathematical Physics
14 Logic and Logical Philosophy
13 International Journal of Approximate Reasoning
12 Communications in Algebra
12 Indagationes Mathematicae. New Series
11 Information Processing Letters
11 Fundamenta Mathematicae
11 Journal of the American Mathematical Society
11 Selecta Mathematica. New Series
10 Foundations of Physics
10 Sibirskie Èlektronnye Matematicheskie Izvestiya
10 Model Theory
8 Mathematical Proceedings of the Cambridge Philosophical Society
8 Order
8 Topoi
8 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
8 Computability
8 Nôus
7 International Journal of General Systems
7 The Mathematical Intelligencer
7 Journal of the European Mathematical Society (JEMS)
7 ACM Transactions on Computational Logic
6 Communications in Mathematical Physics
6 Bulletin of the London Mathematical Society
6 Acta Mathematica Hungarica
6 Foundations of Science
6 Journal of Logic and Analysis
6 Forum of Mathematics, Sigma
5 Discrete Mathematics
5 Journal of Geometry and Physics
5 Information Sciences
5 Memoirs of the American Mathematical Society
5 Bulletin of the American Mathematical Society. New Series
5 Journal of Functional Programming
5 Journal of the Institute of Mathematics of Jussieu
5 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
5 Axiomathes
5 European Journal of Mathematics
4 Applied Mathematics and Computation
4 Journal of Symbolic Computation
4 Doklady Mathematics
4 Soft Computing
4 Annals of Mathematics. Second Series
4 Journal of the Australian Mathematical Society
4 Vladikavkazskiĭ Matematicheskiĭ Zhurnal
4 Tbilisi Mathematical Journal
4 Logicheskie Issledovaniya
4 Journal of Siberian Federal University. Mathematics & Physics
3 Archiv für Mathematische Logik und Grundlagenforschung
3 Journal of Mathematical Analysis and Applications
3 Mathematical Notes
3 Compositio Mathematica
3 Inventiones Mathematicae
3 Journal of Combinatorial Theory. Series A
3 Journal of Mathematical Psychology
3 Pacific Journal of Mathematics
3 Proceedings of the London Mathematical Society. Third Series
3 Quaestiones Mathematicae
...and 179 more Journals
all top 5

Cited in 55 Fields

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

Citations by Year