×

zbMATH — the first resource for mathematics

Theoria

A Swedish Journal of Philosophy

Short Title: Theoria
Publisher: Wiley (Wiley-Blackwell), Oxford
ISSN: 0040-5825; 1755-2567/e
Online: https://onlinelibrary.wiley.com/loi/17552567
Comments: No longer indexed
Documents Indexed: 145 Publications (1937–2019)
all top 5

Authors

6 Kanger, Stig
6 Lindström, Per
5 Segerberg, Krister
4 Makinson, David Clement
4 van Benthem, Johan F. A. K.
3 Fine, Kit
3 Fitting, Melvin Chris
3 Gabbay, Dov M.
3 Hintikka, Jaakko
3 Prawitz, Dag
3 Stenius, Erik
2 Alchourrón, Carlos E.
2 Cresswell, Maxwell John
2 Grelling, Kurt
2 Hallden, Sören
2 Hamblin, C. L.
2 Hughes, George E.
2 Humberstone, I. L.
2 Lewis, David Kellogg
2 Thomason, Richmond H.
2 Thomason, Steven K.
2 Titiev, Robert J.
1 Aberg, Claes
1 Adams, Ernest Wilcox
1 Åqvist, Lennart
1 Bacon, John B.
1 Bellin, Gianluigi
1 Bergström, Lars B.
1 Binkley, Robert W.
1 Boolos, George S.
1 Brownstein, Donald
1 Bull, Robert A.
1 Burgess, John P.
1 Canty, John Thomas
1 Castañeda, Hector-Neri
1 Ceragioli, Leonardo
1 Chellas, Brian F.
1 Clark, Romaine
1 Cocchiarella, Nino B.
1 Cole, Richard John
1 Copeland, B. Jack
1 Danielsson, S.
1 Domotor, Zoltan
1 Došen, Kosta
1 Eberle, Rolf A.
1 Edman, Martin
1 Esakia, Leo
1 Finn, Viktor Konstantinovich
1 Flo, Olav
1 Føllesdal, Dagfinn
1 Gärdenfors, Peter
1 Garson, James W.
1 Geach, Peter Thomas
1 Goldblatt, Rob
1 Grigolia, Revaz
1 Gullvag, Ingemund
1 Hansson, Bengt
1 Hansson, Sven Ove
1 Hart, Wilbur Dyre
1 Hochberg, Herbert
1 Isard, Stephen D.
1 Johanson, Arnold A.
1 Kamp, Hans
1 Kessler, Glenn
1 Kivinen, S. Albert
1 Klima, Gyula
1 Kroon, Fred
1 Kroon, Frederick W.
1 Küng, Guido
1 Kvart, Igal
1 Lachlan, Alistair H.
1 Leblanc, Hugues
1 Lindström, Sten
1 Livadas, Stathis
1 Malmgren, H.
1 Mann, W. E.
1 Mares, Edwin D.
1 Martin-Löf, Per
1 McEvoy, Mark
1 Meskhi, Vyacheslav Yur’evich
1 Milne, Peter
1 Montague, Richard
1 Morrill, Glyn V.
1 Oddie, Graham
1 Odegard, Douglas
1 Parsons, Charles D.
1 Percival, Philip
1 Prior, Arthur Norman
1 Rabinowicz, Włodzimierz
1 Ranta, Aarne
1 Rescher, Nicholas
1 Resnik, Michael D.
1 Röper, Peter
1 Rott, Hans
1 Routly, R.
1 Routly, V.
1 Sahlin, Nils-Eric
1 Sandu, Gabriel
1 Schroeder-Heister, Peter Joseph
1 Schumm, George F.
...and 16 more Authors

Publications by Year

Citations contained in zbMATH Open

93 Publications have been cited 923 times in 757 Documents Cited by Year
First order predicate logic with generalized quantifiers. Zbl 1230.03072
Lindström, Per
72
1966
Universal grammar. Zbl 0243.02002
Montague, Richard
62
1971
Indeterminist time and truth-value gaps. Zbl 0269.02007
Thomason, Richmond H.
50
1971
Propositional quantifiers in modal logic. Zbl 0302.02005
Fine, Kit
46
1971
On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0525.03001
Alchourron, Carlos E.; Makinson, David
39
1982
An incomplete logic containing S4. Zbl 0287.02011
Fine, Kit
36
1974
An incompleteness theorem in modal logic. Zbl 0287.02012
Thomason, S. K.
36
1974
An ascending chain of S4 logics. Zbl 0307.02013
Fine, Kit
35
1975
On extensions of elementary logic. Zbl 0206.27202
Lindström, P.
35
1969
A semantic analysis of conditional logic. Zbl 0211.30601
Stalnaker, R. C.; Thomason, R. H.
33
1970
Formal properties of ”now”. Zbl 0269.02008
Kamp, Hans
31
1971
An improved proof procedure. Zbl 0099.00801
Prawitz, Dag
28
1960
New operators for theory change. Zbl 0722.03028
Hansson, Sven Ove
26
1989
Meaning and proofs: On the conflict between classical and intuitionistic logic. Zbl 0361.02008
Prawitz, Dag
21
1977
Modal logics with linear alternative relations. Zbl 0235.02019
Segerberg, Krister
18
1971
Completeness and decidability of three logics of counterfactual conditionals. Zbl 0229.02023
Lewis, David
16
1971
Five critical modal systems. Zbl 0372.02013
Esakia, L.; Meskhi, V.
16
1977
Arithmetical necessity, provability and intuitionistic logic. Zbl 0409.03011
Goldblatt, Rob
14
1978
An approach to tense logic. Zbl 0227.02012
Bull, R. A.
13
1971
Two simple incomplete modal logics. Zbl 0405.03010
van Benthem, J. F. A. K.
13
1978
Relevant implication. Zbl 0668.03007
Lewis, David
13
1988
On systems of modal logic with provability interpretations. Zbl 0473.03010
Boolos, George
12
1981
Law and logic. Zbl 0265.02020
Kanger, Stig
11
1972
On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0503.03008
Alchourron, Carlos E.; Makinson, David
10
1982
The literature on von Mises’ Kollektivs revisited. Zbl 0198.23103
Martin-Löf, Per
10
1969
Classical intensional logics. Zbl 0217.30104
Cresswell, M. J.
10
1970
The unreal future. Zbl 0435.03017
Burgess, John P.
10
1978
On the logic of ’to-morrow’. Zbl 0189.28301
Segerberg, Krister
9
1967
Nonsense logics and their algebraic properties. Zbl 0846.03032
Finn, Victor K.; Grigolia, Revaz
8
1993
Mathematical models of dialogue. Zbl 0238.02005
Hamblin, C. L.
8
1971
The morning star paradox. Zbl 0081.01104
Kanger, Stig
8
1957
Some modal logics based on three-valued logic. Zbl 0189.00705
Segerberg, K.
7
1967
Provability logic – a short introduction. Zbl 0897.03055
Lindström, Per
6
1996
A note on comparing probabilistic and modal logics of conditionals. Zbl 0389.03007
Adams, Ernest W.
6
1977
Transitivity follows from Dummett’s axiom. Zbl 0422.03004
van Benthem, J. F. A. K.; Blok, W. J.
6
1978
Modellings for belief change: Prioritization and entrenchment. Zbl 0824.03011
Rott, Hans
5
1992
A general theory of the conditional in terms of a ternary operator. Zbl 0254.02019
Gabbay, Dov M.
5
1972
Imperatives. Zbl 0299.02034
Chellas, Brian F.
5
1971
Completeness and Hauptsatz for second order logic. Zbl 0175.26702
Prawitz, D.
5
1967
Logics with several modal operators. Zbl 0188.31801
Fitting, M.
5
1969
Substitutional quantification and Leśniewskian quantifiers. Zbl 0213.01402
Küng, Guido; Canty, John Thomas
5
1970
A system of natural deduction for GL. Zbl 0616.03030
Bellin, Gianluigi
5
1985
A note on partial postulate sets for propositional logic. Zbl 0066.25603
Kanger, Stig
5
1955
Negation by iteration. Zbl 0883.03007
Humberstone, I. L.
5
1995
A completeness proof for an infinitary tense-logic. Zbl 0364.02011
Sundholm, Göran
5
1977
Reduction of tense logic to modal logic. II. Zbl 0365.02010
Thomason, S. K.
5
1976
Syntactic aspects of modal incompleteness theorems. Zbl 0452.03013
van Benthem, J. F. A. K.
4
1979
A generalisation of the concept of a relational model for modal logic. Zbl 0222.02019
Makinson, David
4
1971
Completeness of weak implication. Zbl 0238.02018
Urquhart, Alasdair I. F.
4
1971
The logic of assertion. Zbl 0418.03006
Gullvag, Ingemund
4
1978
The Ramsey test revisited. Zbl 0824.03010
Lindström, Sten; Rabinowicz, Wlodzimierz
3
1992
A study of some “separated” conditions on binary relations. Zbl 0842.03009
Humberstone, I. L.
3
1991
Knowledge, identity, and existence. Zbl 0174.00904
Follesdal, D.
3
1967
A note on quantification and modalities. Zbl 0083.00204
Kanger, Stig
3
1957
Hidden variables in conditional logic. Zbl 0327.02027
van Fraassen, Bas C.
3
1975
Revised foundations for imperative-epistemic and interrogative logic. Zbl 0341.02017
Åqvist, Lennart
3
1971
Stenius’ approach to disjunctive permission. Zbl 0578.03008
Makinson, David
3
1984
On characterizability in \(L_{\omega_1\omega_0}\). Zbl 1230.03071
Lindström, Per
3
1966
Denotation and description in free logic. Zbl 0856.03005
Kroon, Frederick W.
2
1991
Act and value: Expectation and the representability of moral theories. Zbl 0843.03003
Oddie, Graham; Milne, Peter
2
1991
Making maximal reliable action maximal. Zbl 0841.03010
Surendonk, Timothy J.
2
1991
Finite equal-interval measurement structures. Zbl 0268.92017
Suppes, Patrick
2
1972
Modal logic based on probability theory. Zbl 0167.00904
Danielsson, S.
2
1967
Denotationless terms and predicates expressive of positive qualities. Zbl 0198.32002
Eberle, R. A.
2
1969
Stratified metric tense logic. Zbl 0203.00703
Prior, A. N.
2
1967
A completeness theorem in second order modal logic. Zbl 0205.00601
Cocchiarella, N. B.
2
1969
Four notions of independence. Zbl 0209.00703
Wolniewicz, B.
2
1970
Selective filtration in modal logic. Part A. Semantic tableaux method. Zbl 0222.02018
Gabbay, Dov M.
2
1971
On the characterization of modalities. Zbl 0087.25201
Kanger, Stig
2
1957
Grammar and logic. Zbl 0899.03021
Morrill, Glyn
2
1996
A normal logic that is complete for neighborhood frames but not for Kripke frames. Zbl 0347.02017
Gabbay, Dov M.
2
1976
A finitely axiomatizable undecidable extension of K. Zbl 0391.03011
Isard, Stephen
2
1977
Fairness without interpersonal comparisons. Zbl 0416.03001
Gärdenfors, Peter
2
1978
The uniqueness of atomic facts in Wittgenstein’s Tractatus. Zbl 0424.03002
Miller, David
2
1977
Stenius on the paradoxes. Zbl 0581.03002
Kroon, Fred
2
1984
Conservativeness and uniqueness. Zbl 0611.03011
Došen, Kosta; Schroeder-Heister, Peter
2
1985
On relations between structures. Zbl 1230.03069
Lindström, Per
2
1966
Andersonian deontic logic. Zbl 0820.03008
Mares, Edwin D.
1
1992
Why does Halldén-completeness matter? Zbl 0846.03005
Schumm, George F.
1
1993
Multidimensional measurement and universal axiomatizability. Zbl 0264.92007
Titiev, Robert J.
1
1972
Omnitemporal logic and converging time. Zbl 0322.02020
Hughes, G. E.; Cresswell, M. J.
1
1975
A cancellation algorithm for elementary logic. Zbl 0174.00901
Binkley, R.; Clark, Romaine
1
1967
Categories - expressions or things? Zbl 0187.26201
Routly, R.; Routly, V.
1
1969
A note on chronological logic. Zbl 0204.00301
Rescher, Nicholas; Garson, James W.
1
1967
A note on \(JP^ \prime\). Zbl 0212.01302
Woodruff, P. W.
1
1970
Arthur Prior: A personal impression. Zbl 0218.01013
Geach, P. T.
1
1970
Prior and Belnap. Zbl 0546.03004
Hart, W. D.
1
1982
Of \(A\) and \(B\) being logically independent of each other and of their having no common factual content. Zbl 0900.03024
Roeper, Peter; Leblanc, Hugues
1
1995
Three recipes for revision. Zbl 0955.03509
Segerberg, Krister
1
1996
Ontology and grammar. I: Russell’s paradox and the general theory of properties in natural language. Zbl 0411.03007
Castañeda, Hector-Neri
1
1976
Omitting uncountable types and extensions of elementary logic. Zbl 0437.03016
Lindström, Per
1
1978
Imperative logic as based on a Galois connection. Zbl 0669.03004
Johanson, Arnold
1
1988
Horseshoe, hook, and relevance. Zbl 0588.03004
Copeland, B. J.
1
1984
Provability logic – a short introduction. Zbl 0897.03055
Lindström, Per
6
1996
Grammar and logic. Zbl 0899.03021
Morrill, Glyn
2
1996
Three recipes for revision. Zbl 0955.03509
Segerberg, Krister
1
1996
Negation by iteration. Zbl 0883.03007
Humberstone, I. L.
5
1995
Of \(A\) and \(B\) being logically independent of each other and of their having no common factual content. Zbl 0900.03024
Roeper, Peter; Leblanc, Hugues
1
1995
Nonsense logics and their algebraic properties. Zbl 0846.03032
Finn, Victor K.; Grigolia, Revaz
8
1993
Why does Halldén-completeness matter? Zbl 0846.03005
Schumm, George F.
1
1993
Modellings for belief change: Prioritization and entrenchment. Zbl 0824.03011
Rott, Hans
5
1992
The Ramsey test revisited. Zbl 0824.03010
Lindström, Sten; Rabinowicz, Wlodzimierz
3
1992
Andersonian deontic logic. Zbl 0820.03008
Mares, Edwin D.
1
1992
A study of some “separated” conditions on binary relations. Zbl 0842.03009
Humberstone, I. L.
3
1991
Denotation and description in free logic. Zbl 0856.03005
Kroon, Frederick W.
2
1991
Act and value: Expectation and the representability of moral theories. Zbl 0843.03003
Oddie, Graham; Milne, Peter
2
1991
Making maximal reliable action maximal. Zbl 0841.03010
Surendonk, Timothy J.
2
1991
New operators for theory change. Zbl 0722.03028
Hansson, Sven Ove
26
1989
Relevant implication. Zbl 0668.03007
Lewis, David
13
1988
Imperative logic as based on a Galois connection. Zbl 0669.03004
Johanson, Arnold
1
1988
A system of natural deduction for GL. Zbl 0616.03030
Bellin, Gianluigi
5
1985
Conservativeness and uniqueness. Zbl 0611.03011
Došen, Kosta; Schroeder-Heister, Peter
2
1985
Stenius’ approach to disjunctive permission. Zbl 0578.03008
Makinson, David
3
1984
Stenius on the paradoxes. Zbl 0581.03002
Kroon, Fred
2
1984
Horseshoe, hook, and relevance. Zbl 0588.03004
Copeland, B. J.
1
1984
On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0525.03001
Alchourron, Carlos E.; Makinson, David
39
1982
On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0503.03008
Alchourron, Carlos E.; Makinson, David
10
1982
Prior and Belnap. Zbl 0546.03004
Hart, W. D.
1
1982
On systems of modal logic with provability interpretations. Zbl 0473.03010
Boolos, George
12
1981
Syntactic aspects of modal incompleteness theorems. Zbl 0452.03013
van Benthem, J. F. A. K.
4
1979
Arithmetical necessity, provability and intuitionistic logic. Zbl 0409.03011
Goldblatt, Rob
14
1978
Two simple incomplete modal logics. Zbl 0405.03010
van Benthem, J. F. A. K.
13
1978
The unreal future. Zbl 0435.03017
Burgess, John P.
10
1978
Transitivity follows from Dummett’s axiom. Zbl 0422.03004
van Benthem, J. F. A. K.; Blok, W. J.
6
1978
The logic of assertion. Zbl 0418.03006
Gullvag, Ingemund
4
1978
Fairness without interpersonal comparisons. Zbl 0416.03001
Gärdenfors, Peter
2
1978
Omitting uncountable types and extensions of elementary logic. Zbl 0437.03016
Lindström, Per
1
1978
Meaning and proofs: On the conflict between classical and intuitionistic logic. Zbl 0361.02008
Prawitz, Dag
21
1977
Five critical modal systems. Zbl 0372.02013
Esakia, L.; Meskhi, V.
16
1977
A note on comparing probabilistic and modal logics of conditionals. Zbl 0389.03007
Adams, Ernest W.
6
1977
A completeness proof for an infinitary tense-logic. Zbl 0364.02011
Sundholm, Göran
5
1977
A finitely axiomatizable undecidable extension of K. Zbl 0391.03011
Isard, Stephen
2
1977
The uniqueness of atomic facts in Wittgenstein’s Tractatus. Zbl 0424.03002
Miller, David
2
1977
Reduction of tense logic to modal logic. II. Zbl 0365.02010
Thomason, S. K.
5
1976
A normal logic that is complete for neighborhood frames but not for Kripke frames. Zbl 0347.02017
Gabbay, Dov M.
2
1976
Ontology and grammar. I: Russell’s paradox and the general theory of properties in natural language. Zbl 0411.03007
Castañeda, Hector-Neri
1
1976
An ascending chain of S4 logics. Zbl 0307.02013
Fine, Kit
35
1975
Hidden variables in conditional logic. Zbl 0327.02027
van Fraassen, Bas C.
3
1975
Omnitemporal logic and converging time. Zbl 0322.02020
Hughes, G. E.; Cresswell, M. J.
1
1975
An incomplete logic containing S4. Zbl 0287.02011
Fine, Kit
36
1974
An incompleteness theorem in modal logic. Zbl 0287.02012
Thomason, S. K.
36
1974
Law and logic. Zbl 0265.02020
Kanger, Stig
11
1972
A general theory of the conditional in terms of a ternary operator. Zbl 0254.02019
Gabbay, Dov M.
5
1972
Finite equal-interval measurement structures. Zbl 0268.92017
Suppes, Patrick
2
1972
Multidimensional measurement and universal axiomatizability. Zbl 0264.92007
Titiev, Robert J.
1
1972
Universal grammar. Zbl 0243.02002
Montague, Richard
62
1971
Indeterminist time and truth-value gaps. Zbl 0269.02007
Thomason, Richmond H.
50
1971
Propositional quantifiers in modal logic. Zbl 0302.02005
Fine, Kit
46
1971
Formal properties of ”now”. Zbl 0269.02008
Kamp, Hans
31
1971
Modal logics with linear alternative relations. Zbl 0235.02019
Segerberg, Krister
18
1971
Completeness and decidability of three logics of counterfactual conditionals. Zbl 0229.02023
Lewis, David
16
1971
An approach to tense logic. Zbl 0227.02012
Bull, R. A.
13
1971
Mathematical models of dialogue. Zbl 0238.02005
Hamblin, C. L.
8
1971
Imperatives. Zbl 0299.02034
Chellas, Brian F.
5
1971
A generalisation of the concept of a relational model for modal logic. Zbl 0222.02019
Makinson, David
4
1971
Completeness of weak implication. Zbl 0238.02018
Urquhart, Alasdair I. F.
4
1971
Revised foundations for imperative-epistemic and interrogative logic. Zbl 0341.02017
Åqvist, Lennart
3
1971
Selective filtration in modal logic. Part A. Semantic tableaux method. Zbl 0222.02018
Gabbay, Dov M.
2
1971
A semantic analysis of conditional logic. Zbl 0211.30601
Stalnaker, R. C.; Thomason, R. H.
33
1970
Classical intensional logics. Zbl 0217.30104
Cresswell, M. J.
10
1970
Substitutional quantification and Leśniewskian quantifiers. Zbl 0213.01402
Küng, Guido; Canty, John Thomas
5
1970
Four notions of independence. Zbl 0209.00703
Wolniewicz, B.
2
1970
A note on \(JP^ \prime\). Zbl 0212.01302
Woodruff, P. W.
1
1970
Arthur Prior: A personal impression. Zbl 0218.01013
Geach, P. T.
1
1970
On extensions of elementary logic. Zbl 0206.27202
Lindström, P.
35
1969
The literature on von Mises’ Kollektivs revisited. Zbl 0198.23103
Martin-Löf, Per
10
1969
Logics with several modal operators. Zbl 0188.31801
Fitting, M.
5
1969
Denotationless terms and predicates expressive of positive qualities. Zbl 0198.32002
Eberle, R. A.
2
1969
A completeness theorem in second order modal logic. Zbl 0205.00601
Cocchiarella, N. B.
2
1969
Categories - expressions or things? Zbl 0187.26201
Routly, R.; Routly, V.
1
1969
On the logic of ’to-morrow’. Zbl 0189.28301
Segerberg, Krister
9
1967
Some modal logics based on three-valued logic. Zbl 0189.00705
Segerberg, K.
7
1967
Completeness and Hauptsatz for second order logic. Zbl 0175.26702
Prawitz, D.
5
1967
Knowledge, identity, and existence. Zbl 0174.00904
Follesdal, D.
3
1967
Modal logic based on probability theory. Zbl 0167.00904
Danielsson, S.
2
1967
Stratified metric tense logic. Zbl 0203.00703
Prior, A. N.
2
1967
A cancellation algorithm for elementary logic. Zbl 0174.00901
Binkley, R.; Clark, Romaine
1
1967
A note on chronological logic. Zbl 0204.00301
Rescher, Nicholas; Garson, James W.
1
1967
First order predicate logic with generalized quantifiers. Zbl 1230.03072
Lindström, Per
72
1966
On characterizability in \(L_{\omega_1\omega_0}\). Zbl 1230.03071
Lindström, Per
3
1966
On relations between structures. Zbl 1230.03069
Lindström, Per
2
1966
An improved proof procedure. Zbl 0099.00801
Prawitz, Dag
28
1960
The morning star paradox. Zbl 0081.01104
Kanger, Stig
8
1957
A note on quantification and modalities. Zbl 0083.00204
Kanger, Stig
3
1957
On the characterization of modalities. Zbl 0087.25201
Kanger, Stig
2
1957
A note on partial postulate sets for propositional logic. Zbl 0066.25603
Kanger, Stig
5
1955
all top 5

Cited by 710 Authors

25 Hansson, Sven Ove
12 van Benthem, Johan F. A. K.
11 Belnap, Nuel D. jun.
11 Humberstone, Lloyd
10 Bezhanishvili, Guram
9 Väänänen, Jouko Antero
8 Fermé, Eduardo Leopoldo
8 Gabbay, Dov M.
8 Maksimova, Larisa L’vovna
8 Müller, Thomas
8 van Ditmarsch, Hans Pieter
7 Bezhanishvili, Nick
7 Blackburn, Patrick
7 Cresswell, Maxwell John
7 Reis, Maurício D. L.
7 Rybakov, Vladimir Vladimirovich
7 Xu, Ming
6 Kontinen, Juha
6 Wolter, Frank
5 Chagrov, Aleksandr Vasil’evich
5 Holliday, Wesley H.
5 Makinson, David Clement
5 Segerberg, Krister
5 Visser, Albert
5 Westerståhl, Dag
5 Zakharyaschev, Michael Viktorovich
5 Zanardo, Alberto
4 Badia, Guillermo
4 Gärdenfors, Peter
4 Goldblatt, Robert Ian
4 Holcapek, Michal
4 Horty, John F.
4 Kracht, Marcus
4 Kremer, Philip
4 Krynicki, Michał Marian
4 Muravitsky, Alexei Yu.
4 Noguera, Carles
4 Paoli, Francesco
4 Petrukhin, Yaroslav Igorevich
4 Placek, Tomasz
4 Rautenberg, Wolfgang
4 Schurz, Gerhard
4 Shehtman, Valentin B.
4 Szymanik, Jakub
3 Alchourrón, Carlos E.
3 Åqvist, Lennart
3 Bozzelli, Laura
3 Chellas, Brian F.
3 Cintula, Petr
3 Cross, Charles B.
3 Daniels, Charles B.
3 Dvořák, Antonín
3 Esakia, Leo
3 Fine, Kit
3 French, Tim
3 Fritz, Peter K.
3 Fuhrmann, Andre T.
3 Garapa, Marco
3 Halpern, Joseph Yehuda
3 Kishida, Kohei
3 Kurucz, Agi
3 Litak, Tadeusz
3 Lucero-Bryan, Joel Gregory
3 Magidor, Menachem
3 Makowsky, Johann-Andreas
3 Miyazaki, Yutaka
3 Olivetti, Nicola
3 Omori, Hitoshi
3 Pacuit, Eric
3 Pinchinat, Sophie
3 Pliuškevičius, Regimantas
3 Rumberg, Antje
3 Shelah, Saharon
3 Urbaniak, Rafał
3 van Mill, Jan
3 Varzinczak, Ivan Jóse
3 Venema, Yde
3 Wansing, Heinrich Theodor
3 Wassermann, Renata
3 Weiss, Yale
3 Wybraniec-Skardowska, Urszula
2 Andréka, Hajnal
2 Areces, Carlos
2 Beklemishev, Lev D.
2 Belardinelli, Francesco
2 Bellissima, Fabio
2 Benzmüller, Christoph Ewald
2 Bledsoe, Woodrow W.
2 Bonzio, Stefano
2 Boolos, George S.
2 Boutilier, Craig
2 Britz, Katarina
2 Broersen, Jan M.
2 Brown, Frank Malloy
2 Brown, Mark A.
2 Bueno-Soler, Juliana
2 Burgess, John P.
2 Caicedo, Xavier
2 Calardo, Erica
2 Cantwell, John C.
...and 610 more Authors
all top 5

Cited in 89 Journals

130 Journal of Philosophical Logic
115 Studia Logica
66 Synthese
31 Journal of Logic, Language and Information
28 Artificial Intelligence
27 Annals of Pure and Applied Logic
23 Notre Dame Journal of Formal Logic
17 The Review of Symbolic Logic
15 Journal of Applied Non-Classical Logics
14 The Journal of Symbolic Logic
13 Algebra and Logic
12 Logica Universalis
11 Fuzzy Sets and Systems
11 Erkenntnis
11 Journal of Applied Logic
9 Theoretical Computer Science
9 Annals of Mathematics and Artificial Intelligence
7 Archiv für Mathematische Logik und Grundlagenforschung
7 Linguistics and Philosophy
7 International Journal of Approximate Reasoning
7 Topoi
7 Logic and Logical Philosophy
6 Archive for Mathematical Logic
5 Mathematical Notes
5 Journal of Computer and System Sciences
5 Theory and Decision
5 Journal of Automated Reasoning
4 Mathematical Logic Quarterly (MLQ)
4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
4 Nôus
3 Kybernetika
3 Publications of the Research Institute for Mathematical Sciences, Kyoto University
3 History and Philosophy of Logic
3 Information and Computation
2 International Journal of Theoretical Physics
2 Information Processing Letters
2 Computing
2 Information Sciences
2 Journal of Mathematical Psychology
2 Siberian Mathematical Journal
2 Transactions of the American Mathematical Society
2 Bulletin of the Section of Logic
2 Journal of Symbolic Computation
2 MSCS. Mathematical Structures in Computer Science
2 Historia Mathematica
2 Indagationes Mathematicae. New Series
2 Journal of Mathematical Sciences (New York)
1 Acta Informatica
1 Archive for History of Exact Sciences
1 International Journal of General Systems
1 Israel Journal of Mathematics
1 Lithuanian Mathematical Journal
1 Moscow University Mathematics Bulletin
1 Periodica Mathematica Hungarica
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Algebra Universalis
1 Aplikace Matematiky
1 BIT
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Economic Theory
1 Journal of Soviet Mathematics
1 Mathematische Zeitschrift
1 Proceedings of the American Mathematical Society
1 Rendiconti del Seminario Matematico della Università di Padova
1 Mathematical Social Sciences
1 Social Choice and Welfare
1 Statistical Science
1 International Journal of Intelligent Systems
1 Formal Aspects of Computing
1 Games and Economic Behavior
1 Formal Methods in System Design
1 Diagrammes
1 The Journal of Artificial Intelligence Research (JAIR)
1 The Bulletin of Symbolic Logic
1 Soft Computing
1 NTM. Neue Serie
1 LMS Journal of Computation and Mathematics
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 Journal of Mathematical Logic
1 The Journal of Logic and Algebraic Programming
1 International Studies in the Philosophy of Science
1 Theory and Practice of Logic Programming
1 ACM Transactions on Computational Logic
1 Computational Linguistics
1 Bulletin of the American Mathematical Society
1 Logical Methods in Computer Science
1 Frontiers of Computer Science
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year