×

zbMATH — the first resource for mathematics

Journal of Philosophical Logic

Short Title: J. Philos. Log.
Publisher: Springer Netherlands, Dordrecht
ISSN: 0022-3611; 1573-0433/e
Online: http://link.springer.com/journal/volumesAndIssues/10992
Comments: Indexed cover-to-cover
Documents Indexed: 1,344 Publications (since 1972)
References Indexed: 1,035 Publications with 25,185 References.
all top 5

Latest Issues

50, No. 6 (2021)
50, No. 5 (2021)
50, No. 4 (2021)
50, No. 3 (2021)
50, No. 2 (2021)
50, No. 1 (2021)
49, No. 6 (2020)
49, No. 5 (2020)
49, No. 4 (2020)
49, No. 3 (2020)
49, No. 2 (2020)
49, No. 1 (2020)
48, No. 6 (2019)
48, No. 5 (2019)
48, No. 4 (2019)
48, No. 3 (2019)
48, No. 2 (2019)
48, No. 1 (2019)
47, No. 6 (2018)
47, No. 5 (2018)
47, No. 4 (2018)
47, No. 3 (2018)
47, No. 2 (2018)
47, No. 1 (2018)
46, No. 6 (2017)
46, No. 5 (2017)
46, No. 4 (2017)
46, No. 3 (2017)
46, No. 2 (2017)
46, No. 1 (2017)
45, No. 6 (2016)
45, No. 5 (2016)
45, No. 4 (2016)
45, No. 3 (2016)
45, No. 2 (2016)
45, No. 1 (2016)
44, No. 6 (2015)
44, No. 5 (2015)
44, No. 4 (2015)
44, No. 3 (2015)
44, No. 2 (2015)
44, No. 1 (2015)
43, No. 6 (2014)
43, No. 5 (2014)
43, No. 4 (2014)
43, No. 2-3 (2014)
43, No. 1 (2014)
42, No. 6 (2013)
42, No. 5 (2013)
42, No. 4 (2013)
42, No. 3 (2013)
42, No. 2 (2013)
42, No. 1 (2013)
41, No. 6 (2012)
41, No. 5 (2012)
41, No. 4 (2012)
41, No. 3 (2012)
41, No. 2 (2012)
41, No. 1 (2012)
40, No. 6 (2011)
40, No. 5 (2011)
40, No. 4 (2011)
40, No. 3 (2011)
40, No. 2 (2011)
40, No. 1 (2011)
39, No. 6 (2010)
39, No. 5 (2010)
39, No. 4 (2010)
39, No. 3 (2010)
39, No. 2 (2010)
39, No. 1 (2010)
38, No. 6 (2009)
38, No. 5 (2009)
38, No. 4 (2009)
38, No. 3 (2009)
38, No. 2 (2009)
38, No. 1 (2009)
37, No. 6 (2008)
37, No. 5 (2008)
37, No. 4 (2008)
37, No. 3 (2008)
37, No. 2 (2008)
37, No. 1 (2008)
36, No. 6 (2007)
36, No. 5 (2007)
36, No. 4 (2007)
36, No. 3 (2007)
36, No. 2 (2007)
36, No. 1 (2007)
35, No. 6 (2006)
35, No. 5 (2006)
35, No. 4 (2006)
35, No. 3 (2006)
35, No. 2 (2006)
35, No. 1 (2006)
34, No. 5-6 (2005)
34, No. 4 (2005)
34, No. 3 (2005)
34, No. 2 (2005)
34, No. 1 (2005)
...and 106 more Volumes
all top 5

Authors

15 Fine, Kit
14 Priest, Graham
13 van Benthem, Johan F. A. K.
11 Hansson, Sven Ove
11 Meyer, Robert Kenneth
10 Humberstone, Lloyd
10 Wansing, Heinrich Theodor
9 Brady, Ross Thomas
9 Kremer, Philip
8 Égré, Paul
8 Leitgeb, Hannes
8 Restall, Greg
8 van Fraassen, Bas C.
7 Cresswell, Maxwell John
7 Dunn, Jon Michael
7 Hodes, Harold T.
7 Makinson, David Clement
7 Mares, Edwin D.
7 Paris, Jeffrey Bruce
7 Urquhart, Alasdair
7 Xu, Ming
6 Belnap, Nuel D. jun.
6 Fritz, Peter
6 Garson, James W.
6 Hazen, Allen P.
6 Horsten, Leon
6 McCarthy, Timothy G.
6 Sylvan, Richard
5 Adams, Ernest Wilcox
5 Åqvist, Lennart
5 Bacon, Andrew
5 Boolos, George S.
5 Fitelson, Branden
5 Gabbay, Dov M.
5 Gupta, Anil Kumar
5 Hellman, Geoffrey
5 Meyer, Thomas Andreas
5 Osherson, Daniel N.
5 Ripley, David
5 Röper, Peter
5 Rossi, Lorenzo Paolo
5 Sandu, Gabriel
5 Segerberg, Krister
5 Slaney, John K.
5 Tennant, Neil W.
5 Uzquiano, Gabriel
5 Weinstein, Scott
5 Zalta, Edward N.
4 Bencivenga, Ermanno
4 Bimbó, Katalin
4 Byrd, Michael E.
4 Chellas, Brian F.
4 Chihara, Charles S.
4 Correia, Fabrice
4 Francez, Nissim
4 Glymour, Clark
4 Goble, Lou
4 Hawthorne, James
4 Hintikka, Jaakko
4 Kamide, Norihiro
4 Kelly, Kevin T.
4 Leblanc, Hugues
4 Lewis, David Kellogg
4 McGee, Vann
4 Morgan, Charles Grady
4 Müller, Thomas
4 Predelli, Stefano
4 Robles, Gemma
4 Rott, Hans
4 Thomason, Richmond H.
4 Thomason, Steven K.
4 van Rooy, Robert
4 Williamson, Timothy
4 Wintein, Stefan
4 Zanardo, Alberto
3 Aitken, Wayne
3 Antonelli, Gian Aldo
3 Bacon, John B.
3 Baltag, Alexandru
3 Barrett, Jeffrey A.
3 Beall, Jc
3 Bendall, Kent
3 Berto, Francesco
3 Blackburn, Patrick
3 Booth, Richard F.
3 Brown, Bryson
3 Chopra, Samir
3 Ciardelli, Ivano A.
3 Cieśliński, Cezary
3 Cobreros, Pablo
3 Cocchiarella, Nino B.
3 Cross, Charles B.
3 Dalla Chiara, Maria Luisa
3 Daniels, Charles B.
3 Došen, Kosta
3 Ellis, Brian
3 Fan, Jie
3 Fermé, Eduardo Leopoldo
3 Ferreira, Fernando
3 Field, Hartry H.
...and 905 more Authors

Publications by Year

Citations contained in zbMATH Open

969 Publications have been cited 6,741 times in 3,938 Documents Cited by Year
The logic of paradox. Zbl 0402.03012
Priest, Graham
184
1979
Two modellings for theory change. Zbl 0639.03025
Grove, Adam
166
1988
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
91
1998
Counterfactuals and comparative possibility. Zbl 0272.02048
Lewis, David
76
1973
Proof analysis in modal logic. Zbl 1086.03045
Negri, Sara
75
2005
Semantic analysis of orthologic. Zbl 0278.02023
Goldblatt, R. I.
70
1974
Truth and paradox. Zbl 0512.03002
Gupta, Anil
70
1982
Defaults in update semantics. Zbl 0860.03025
Veltman, Frank
65
1996
Hedges: A study in meaning criteria and the logic of fuzzy concepts. Zbl 0272.02047
Lakoff, George
64
1973
The semantics of entailment. III. Zbl 0317.02019
Routley, Richard; Meyer, Robert K.
57
1972
Display logic. Zbl 0509.03008
Belnap, Nuel D. jun.
57
1982
Notes on naive semantics. Zbl 0513.03003
Herzberger, Hans G.
55
1982
Merging frameworks for interaction. Zbl 1185.03019
van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric
52
2009
Tolerant, classical, strict. Zbl 1243.03038
Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert
49
2012
Modal logic with names. Zbl 0793.03012
Gargov, George; Goranko, Valentin
48
1993
Basic conditional logic. Zbl 0317.02029
Chellas, Brian F.
47
1975
Two-dimensional modal logic. Zbl 0259.02013
Segerberg, Krister
46
1973
On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008
Makinson, David
44
1987
The semantics of entailment. II. Zbl 0317.02018
Routley, Richard; Meyer, Robert K.
43
1972
Impossible possible worlds vindicated. Zbl 0334.02003
Hintikka, Jaakko
43
1975
Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012
Shramko, Yaroslav; Wansing, Heinrich
42
2005
Logical constraints on judgement aggregation. Zbl 1108.03009
Pauly, Marc; van Hees, Martin
41
2006
Theory contraction through base contraction. Zbl 0723.03010
Fuhrmann, André
41
1991
Inquisitive logic. Zbl 1214.03019
Ciardelli, Ivano; Roelofsen, Floris
39
2011
The deliberative stit: A study of action, omission, ability, and obligation. Zbl 0846.03001
Horty, John F.; Belnap, Nuel
39
1995
Iterated revision and minimal change of conditional beliefs. Zbl 0858.03030
Boutilier, Craig
36
1996
Input/output logics. Zbl 0964.03002
Makinson, David; van der Torre, Leendert
36
2000
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
33
2009
Measuring inconsistency. Zbl 1003.03022
Knight, Kevin
33
2002
What truth depends on. Zbl 1097.03005
Leitgeb, Hannes
33
2005
Models for entailment. Zbl 0296.02013
Fine, Kit
33
1974
What is a syllogism? Zbl 0259.02005
Smiley, T. J.
31
1973
Modal tableau calculi and interpolation. Zbl 0547.03015
Rautenberg, Wolfgang
30
1983
How truthlike can a predicate be? A negative result. Zbl 0583.03002
McGee, Vann
28
1985
General-elimination harmony and the meaning of the logical constants. Zbl 1207.03015
Read, Stephen
28
2010
Ordering semantics and premise semantics for counterfactuals. Zbl 0473.03015
Lewis, David
28
1981
Reversing the Levi identity. Zbl 0788.03033
Hansson, Sven Ove
28
1993
The modal logic of provability. The sequential approach. Zbl 0523.03014
Sambin, Giovanni; Valentini, Silvio
28
1982
Four valued semantics and the Liar. Zbl 0546.03007
Visser, Albert
27
1984
Language in action. Zbl 0743.03018
van Benthem, Johan
26
1991
Moral dilemmas and nonmonotonic logic. Zbl 0796.03035
Horty, John F.
26
1994
Region-based topology. Zbl 0873.54001
Roeper, Peter
25
1997
Nothing but the truth. Zbl 1269.03027
Pietz, Andreas; Rivieccio, Umberto
25
2013
Truth-maker semantics for intuitionistic logic. Zbl 1335.03011
Fine, Kit
25
2014
Angellic content. Zbl 1392.03030
Fine, Kit
24
2016
What is classical mereology? Zbl 1171.03002
Hovda, Paul
23
2009
Constraints for input/output logics. Zbl 0993.03039
Makinson, David; van der Torre, Leendert
23
2001
Stochastic independence, causal independence, and shieldability. Zbl 0436.60004
Spohn, Wolfgang
23
1980
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
23
1989
On the logic of demonstratives. Zbl 0415.03004
Kaplan, David
22
1979
Fine-grained opinion, probability, and the logic of full belief. Zbl 0825.03015
van Fraassen, Bas C.
22
1995
The logic of conditional obligation. Comments by Harry Beatty. Zbl 0246.02015
van Fraassen, Bas C.
22
1972
The liar paradox. Zbl 0296.02001
Parsons, Charles
22
1974
Severe withdrawal (and recovery). Zbl 0934.03024
Rott, Hans; Pagnucco, Maurice
21
1999
Logic based merging. Zbl 1233.03024
Konieczny, Sébastien; Pino Pérez, Ramón
21
2011
On extensions of intermediate logics by strong negation. Zbl 0929.03035
Kracht, Marcus
20
1998
A revenge-immune solution to the semantic paradoxes. Zbl 1026.03009
Field, Hartry
20
2003
Two methods of constructing contractions and revisions of knowledge systems. Zbl 0723.03009
Rott, Hans
20
1991
On the logic of nonmonotonic conditionals and conditional probabilities. Zbl 0854.03019
Hawthorne, James
20
1996
Some remarks on extending and interpreting theories with a partial predicate for truth. Zbl 0629.03002
Reinhardt, William N.
20
1986
On logics with coimplication. Zbl 0976.03020
Wolter, Frank
20
1998
On the logic of ability. Zbl 0653.03003
Brown, Mark A.
20
1988
AGM 25 years. Twenty-five years of research in belief change. Zbl 1227.03002
Fermé, Eduardo; Hansson, Sven Ove
20
2011
A note on harmony. Zbl 1247.03005
Francez, Nissim; Dyckhoff, Roy
20
2012
Grounding, dependence, and paradox. Zbl 0519.03019
Yablo, Steve
20
1982
Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
19
2008
Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus. Zbl 1067.03032
Brown, Bryson; Priest, Graham
19
2004
Harmony and autonomy in classical logic. Zbl 0947.03008
Read, Stephen
19
2000
A finite axiomatization of the set of strongly valid Ockhamist formulas. Zbl 0579.03015
Zanardo, Alberto
18
1985
Permission from an input/output perspective. Zbl 1028.03017
Makinson, David; van der Torre, Leendert
18
2003
Relevant restricted quantification. Zbl 1111.03020
Beall, Jc; Brady, Ross T.; Hazen, A. P.; Priest, Graham; Restall, Greg
18
2006
Simplified semantics for basic relevant logics. Zbl 0782.03008
Priest, Graham; Sylvan, Richard
18
1992
Axioms for actuality. Zbl 0538.03015
Hodes, Harold T.
18
1984
Constructions, proofs and the meaning of logical constants. Zbl 0539.03038
Sundholm, Göran
18
1983
Efficient reasoning about rich temporal domains. Zbl 0662.03014
Shoham, Yoav
18
1988
Truth and reflection. Zbl 0588.03002
Yablo, Stephen
18
1985
Logical consequence and the paradoxes. Zbl 1302.03021
Mares, Edwin; Paoli, Francesco
18
2014
Naive modus ponens. Zbl 1315.03012
Zardini, Elia
17
2013
On branching quantifiers in English. Zbl 0399.03008
Barwise, Jon
17
1979
From worlds to possibilities. Zbl 0481.03011
Humberstone, I. L.
17
1981
Conditional probability and defeasible inference. Zbl 1082.03023
Arló Costa, Horacio; Parikh, Rohit
17
2005
Paraconsistent logics? Zbl 0830.03002
Slater, B. H.
17
1995
Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022
Reyes, Gonzalo E.; Zolfaghari, Houman
17
1996
Natural deduction and arbitrary objects. Zbl 0571.03004
Fine, Kit
17
1985
Expressive completeness in modal language. Zbl 0347.02011
Hazen, Allen
17
1976
A complete axiom system for polygonal mereotopology of the real plane. Zbl 0921.03009
Pratt, Ian; Schoop, Dominik
17
1998
The modal logic of provability: cut-elimination. Zbl 0535.03031
Valentini, Silvio
16
1983
On the consistency of the \(\Delta_1^1\)-CA fragment of Frege’s Grundgesetze. Zbl 1012.03059
Ferreira, Fernando; Wehmeier, Kai F.
16
2002
Interval semantics for tense logic: Some remarks. Zbl 0409.03012
Humberstone, L. L.
16
1979
Maximal consistent sets of instances of Tarski’s schema (T). Zbl 0773.03003
McGee, Vann
16
1992
Socratic proofs. Zbl 1048.03009
Wiśniewski, Andrzej
16
2004
Qualitative probability as an intensional logic. Zbl 0317.02030
Gärdenfors, Peter
16
1975
Representational of conditional probabilities. Zbl 0341.60029
van Fraassen, Bas C.
16
1976
On the logic of high probability. Zbl 0604.03006
Adams, Ernest W.
16
1986
Semantics for quantified relevance logic. Zbl 0646.03013
Fine, Kit
15
1988
On the logic of informational independence and its applications. Zbl 0764.03009
Sandu, Gabriel
15
1993
The Gentzenization and decidability of RW. Zbl 0697.03006
Brady, Ross T.
15
1990
Contradictory information: too much of a good thing. Zbl 1207.03032
Dunn, J. Michael
15
2010
Modal logic with subjunctive conditionals and dispositional predicates. Zbl 0259.02015
Åqvist, Lennart
15
1973
Intensional logics without iterative axioms. Zbl 0296.02014
Lewis, David
15
1974
De Finettian logics of indicative conditionals. I: Trivalent semantics and validity. Zbl 07345735
Égré, Paul; Rossi, Lorenzo; Sprenger, Jan
2
2021
Routley star and hyperintensionality. Zbl 07345775
Odintsov, Sergei; Wansing, Heinrich
1
2021
A more unified approach to free logics. Zbl 07345779
Pavlović, Edi; Gratzl, Norbert
1
2021
Team semantics for interventionist counterfactuals: observations vs. interventions. Zbl 07365449
Barbero, Fausto; Sandu, Gabriel
1
2021
On negation for non-classical set theories. Zbl 07365451
Jockwich Martinez, S.; Venturi, G.
1
2021
A hierarchy of classical and paraconsistent logics. Zbl 1471.03053
Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian
5
2020
Classical logic and the strict tolerant hierarchy. Zbl 07188094
Scambler, Chris
4
2020
Forcing and the universe of sets: must we lose insight? Zbl 07239430
Barton, Neil
1
2020
Truthmaker semantics for relevant logic. Zbl 07239432
Jago, Mark
1
2020
Indicative conditionals and graded information. Zbl 07218662
Ciardelli, Ivano
1
2020
Explicating logical independence. Zbl 07173015
Humberstone, Lloyd
1
2020
Intuitionism and the modal logic of vagueness. Zbl 07188090
Bobzien, Susanne; Rumfitt, Ian
1
2020
Free choice impossibility results. Zbl 07188091
Goldstein, Simon
1
2020
A state-of-affairs-semantic solution to the problem of extensionality in free logic. Zbl 07345790
Leeb, Hans-Peter
1
2020
The Fmla-Fmla axiomatizations of the exactly true and non-falsity logics and some of their cousins. Zbl 1457.03051
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
5
2019
Negation on the Australian plan. Zbl 1457.03007
Berto, Francesco; Restall, Greg
4
2019
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). Zbl 1457.03057
Leitgeb, Hannes
4
2019
Symmetric contingency logic with unlimitedly many modalities. Zbl 1457.03040
Fan, Jie
2
2019
A topological approach to full belief. Zbl 1457.03030
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
2
2019
Bimodal logics with contingency and accident. Zbl 07066828
Fan, Jie
2
2019
A dynamic solution to the problem of logical omniscience. Zbl 1457.03008
Bjerring, Jens Christian; Skipper, Mattias
2
2019
A new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
2
2019
Simplified tableaux for STIT imagination logic. Zbl 1457.03034
Olkhovikov, Grigory K.; Wansing, Heinrich
1
2019
Substitution structures. Zbl 1457.03028
Bacon, Andrew
1
2019
The modal logic of Bayesian belief revision. Zbl 1457.03039
Brown, William; Gyenis, Zalán; Rédei, Miklós
1
2019
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
1
2019
The harmony of identity. Zbl 1457.03068
Klev, Ansten
1
2019
Revision without revision sequences: circular definitions. Zbl 1457.03019
Rivello, Edoardo
1
2019
Instability and contraction. Méditations hégéliennes. I. Zbl 1459.03006
Zardini, Elia
1
2019
Basic intuitionistic conditional logic. Zbl 1457.03047
Weiss, Yale
1
2019
Ungroundedness in Tarskian languages. Zbl 1457.03016
Kripke, Saul A.
1
2019
On generalization of definitional equivalence to non-disjoint languages. Zbl 1457.03024
Lefever, Koen; Székely, Gergely
1
2019
Notes on stratified semantics. Zbl 1457.03048
Logan, Shay Allen
1
2019
Contraction, infinitary quantifiers, and omega paradoxes. Zbl 1436.03143
Da Ré, Bruno; Rosenblatt, Lucas
6
2018
Order-dual relational semantics for non-distributive propositional logics: a general framework. Zbl 1436.03168
Hartonas, Chrysafis
6
2018
Principles for object-linguistic consequence: from logical to irreflexive. Zbl 1436.03059
Nicolai, Carlo; Rossi, Lorenzo
5
2018
Williamson on counterpossibles. Zbl 1436.03021
Berto, Francesco; French, Rohan; Priest, Graham; Ripley, David
5
2018
There is more to negation than modality. Zbl 1436.03032
De, Michael; Omori, Hitoshi
5
2018
Combinatorial bitstring semantics for arbitrary logical fragments. Zbl 1436.03110
Demey, Lorenz; Smessaert, Hans
5
2018
Higher-order contingentism. II: Patterns of indistinguishability. Zbl 1436.03130
Fritz, Peter
3
2018
Probabilistic opinion pooling with imprecise probabilities. Zbl 1436.62026
Stewart, Rush T.; Quintana, Ignacio Ojea
3
2018
Axiomatic theories of partial ground. I: The base theory. Zbl 1436.03047
Korbmacher, Johannes
3
2018
On the costs of nonclassical logic. Zbl 1436.03167
Halbach, Volker; Nicolai, Carlo
3
2018
An axiomatic system and a tableau calculus for STIT imagination logic. Zbl 1436.03114
Olkhovikov, Grigory K.; Wansing, Heinrich
3
2018
Proof theory of paraconsistent quantum logic. Zbl 1437.03178
Kamide, Norihiro
3
2018
Emptying a paradox of ground. Zbl 1436.03079
Woods, Jack
2
2018
Relational semantics and domain semantics for epistemic modals. Zbl 1436.03173
Ninan, Dilip
2
2018
Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth. Zbl 1436.03048
Korbmacher, Johannes
2
2018
The broadest necessity. Zbl 1457.03038
Bacon, Andrew
2
2018
Let Us investigate! Dynamic conjecture-making as the formal logic of abduction. Zbl 1457.03033
Ma, Minghui; Pietarinen, Ahti-Veikko
2
2018
A rational way of playing: revision theory for strategic interaction. Zbl 1436.91005
Bruni, Riccardo; Sillari, Giacomo
1
2018
Obligation as optimal goal satisfaction. Zbl 1436.03135
Kowalski, Robert; Satoh, Ken
1
2018
Approximating Cartesian closed categories in NF-style set theories. Zbl 1436.03269
Thomas, Morgan
1
2018
Some results on the limits of thought. Zbl 1457.03006
Bacon, Andrew; Uzquiano, Gabriel
1
2018
Modus ponens under the restrictor view. Zbl 1459.03005
Schulz, Moritz
1
2018
Stabilizing quantum disjunction. Zbl 1457.03069
Tranchini, Luca
1
2018
Conditionals in theories of truth. Zbl 1417.03067
Gupta, Anil; Standefer, Shawn
7
2017
A theory of truthmaker content. I: Conjunction, disjunction and negation. Zbl 1417.03061
Fine, Kit
7
2017
A theory of truthmaker content. II: Subject-matter, common content, remainder and ground. Zbl 1417.03062
Fine, Kit
6
2017
Inter-definability of Horn contraction and Horn revision. Zbl 1417.03145
Zhuang, Zhiqiang; Pagnucco, Maurice; Zhang, Yan
6
2017
Message exchange games in strategic contexts. Zbl 1417.03205
Asher, Nicholas; Paul, Soumya; Venant, Antoine
4
2017
Cut-elimination for quantified conditional logic. Zbl 1417.03282
Benzmüller, Christoph
4
2017
Relative necessity reformulated. Zbl 1417.03151
Hale, Bob; Leech, Jessica
2
2017
An impure logic of representational grounding. Zbl 1417.03050
Correia, Fabrice
2
2017
Hierarchical propositions. Zbl 1417.03107
Whittle, Bruno
1
2017
The irreducibility of iterated to single revision. Zbl 1417.03135
Booth, Richard; Chandler, Jake
1
2017
Bridging ranking theory and the stability theory of belief. Zbl 1417.03142
Raidl, Eric; Skovgaard-Olsen, Niels
1
2017
Completeness and decidability of general first-order logic (with a detour through the guarded fragment). Zbl 1417.03119
Antonelli, Aldo
1
2017
Angellic content. Zbl 1392.03030
Fine, Kit
24
2016
Glymour and Quine on theoretical equivalence. Zbl 1392.03024
Barrett, Thomas William; Halvorson, Hans
13
2016
Consequence relations and admissible rules. Zbl 1392.03021
Iemhoff, Rosalie
7
2016
Higher-order contingentism. I: Closure and generation. Zbl 1417.03150
Fritz, Peter; Goodman, Jeremy
7
2016
A Gentzen calculus for nothing but the truth. Zbl 1392.03032
Wintein, Stefan; Muskens, Reinhard
5
2016
The application of constraint semantics to the language of subjective uncertainty. Zbl 1392.03043
Swanson, Eric
5
2016
Well founding grounding grounding. Zbl 1392.03015
Rabin, Gabriel Oak; Rabern, Brian
4
2016
A generalization of inquisitive semantics. Zbl 1415.03036
Punčochář, Vít
4
2016
Iterated descriptor revision and the logic of Ramsey test conditionals. Zbl 1392.03025
Hansson, Sven Ove
4
2016
Predicativity, the Russell-Myhill paradox, and Church’s intensional logic. Zbl 1392.03041
Walsh, Sean
4
2016
Pure logic of many-many ground. Zbl 1392.03013
Litland, Jon Erling
4
2016
A note on typed truth and consistency assertions. Zbl 1436.03304
Nicolai, Carlo
4
2016
Paths to triviality. Zbl 1392.03038
Øgaard, Tore Fjetland
3
2016
Some comments on Ian Rumfitt’s bilateralism. Zbl 1417.03080
Kürbis, Nils
3
2016
Naive modus ponens and failure of transitivity. Zbl 1336.03010
Fjellstad, Andreas
3
2016
An interpretation of Łukasiewicz’s 4-valued modal logic. Zbl 1347.03047
Méndez, José M.; Robles, Gemma; Salto, Francisco
3
2016
Adding a conditional to Kripke’s theory of truth. Zbl 1392.03016
Rossi, Lorenzo
2
2016
Cut elimination for GLS using the terminability of its regress process. Zbl 1392.03057
Brighton, Jude
2
2016
Liar-type paradoxes and the incompleteness phenomena. Zbl 1350.03019
Kikuchi, Makoto; Kurahashi, Taishi
1
2016
The problem of cross-world predication. Zbl 1417.03155
Kocurek, Alexander W.
1
2016
Term models for abstraction principles. Zbl 1336.03011
Horsten, Leon; Linnebo, Øystein
1
2016
The mereological foundation of megethology. Zbl 1392.03010
Carrara, Massimiliano; Martino, Enrico
1
2016
Logics of nonsense and Parry systems. Zbl 1318.03036
Ferguson, Thomas Macaulay
13
2015
The logics of strict-tolerant logic. Zbl 1350.03007
Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego
11
2015
Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence. Zbl 1329.03012
Cobreros, Pablo; Egré, Paul; Ripley, Dave; van Rooij, Robert
8
2015
The complexity of the dependence operator. Zbl 1326.03013
Welch, P. D.
6
2015
On rules. Zbl 1336.03037
Iemhoff, Rosalie
6
2015
You’ve come a long way, Bayesians. Zbl 1426.03020
Weisberg, Jonathan
6
2015
Failure of completeness in proof-theoretic semantics. Zbl 1326.03068
Piecha, Thomas; de Campos Sanz, Wagner; Schroeder-Heister, Peter
5
2015
Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism. Zbl 1318.03028
Holliday, Wesley H.
5
2015
Proof-theoretic semantics, a problem with negation and prospects for modality. Zbl 1426.03009
Kürbis, Nils
4
2015
A disquotational theory of truth as strong as \(Z_2^-\). Zbl 1329.03025
Schindler, Thomas
3
2015
...and 869 more Documents
all top 5

Cited by 2,704 Authors

40 van Benthem, Johan F. A. K.
39 Wansing, Heinrich Theodor
29 Hansson, Sven Ove
25 Kamide, Norihiro
22 Paris, Jeffrey Bruce
22 Priest, Graham
21 Humberstone, Lloyd
20 Leitgeb, Hannes
19 Égré, Paul
19 Gabbay, Dov M.
19 Mares, Edwin D.
19 Robles, Gemma
18 Brady, Ross Thomas
18 van Ditmarsch, Hans Pieter
17 Baltag, Alexandru
17 Lorini, Emiliano
17 Restall, Greg
17 Ripley, David
17 Smets, Sonja J. L.
16 Petrukhin, Yaroslav Igorevich
16 Schurz, Gerhard
15 Fine, Kit
15 Pacuit, Eric
15 Shramko, Yaroslav V.
14 Avron, Arnon
14 Dietrich, Franz K.
14 Dubois, Didier
14 Dunn, Jon Michael
14 Francez, Nissim
14 Rott, Hans
13 Holliday, Wesley H.
13 ten Cate, Balder David
13 Vencovská, Alena
12 Bimbó, Katalin
12 Booth, Richard F.
12 Horsten, Leon
12 Negri, Sara
12 Segerberg, Krister
12 Vakarelov, Dimiter
12 van der Torre, Leendert W. N.
12 Wiśniewski, Andrzej
11 Arieli, Ofer
11 Blackburn, Patrick
11 Carrara, Massimiliano
11 Delgrande, James P.
11 Fermé, Eduardo Leopoldo
11 Halbach, Volker
11 Halpern, Joseph Yehuda
11 Meyer, Robert Kenneth
11 Tennant, Neil W.
11 Visser, Albert
11 Wang, Yanjing
11 Weber, Zach
10 Beall, Jc
10 Douven, Igor
10 Fritz, Peter
10 Grant, John R.
10 Jago, Mark
10 Kurahashi, Taishi
10 List, Christian
10 Meyer, Thomas Andreas
10 Odintsov, Sergei P.
10 Reis, Maurício D. L.
10 Shapiro, Stewart
10 van Rooy, Robert
10 Xu, Ming
10 Zalta, Edward N.
9 Antonelli, Gian Aldo
9 Belnap, Nuel D. jun.
9 Bezhanishvili, Nick
9 Bonanno, Giacomo
9 Broersen, Jan M.
9 Ciardelli, Ivano A.
9 Cresswell, Maxwell John
9 Falappa, Marcelo Alejandro
9 Ferguson, Thomas Macaulay
9 Fuhrmann, Andre T.
9 Goranko, Valentin F.
9 Goré, Rajeev Prabhakar
9 Kern-Isberner, Gabriele
9 Leszczyńska-Jasion, Dorota
9 Makinson, David Clement
9 Marx, Maarten
9 Müller, Thomas
9 Naumov, Pavel G.
9 Németi, István
9 Novák, Vilém
9 Peppas, Pavlos
9 Prade, Henri M.
9 Sano, Katsuhiko
9 Walsh, Sean
8 Andréka, Hajnal
8 Bacon, Andrew
8 Dalla Chiara, Maria Luisa
8 Demri, Stéphane P.
8 Dyckhoff, Roy
8 Ferreira, Fernando
8 Fjellstad, Andreas
8 French, Rohan
8 Gilio, Angelo
...and 2,604 more Authors
all top 5

Cited in 183 Journals

628 Journal of Philosophical Logic
397 Synthese
375 Studia Logica
192 The Review of Symbolic Logic
139 Notre Dame Journal of Formal Logic
130 Artificial Intelligence
128 Journal of Logic, Language and Information
115 Journal of Applied Non-Classical Logics
111 The Journal of Symbolic Logic
100 Erkenntnis
80 Annals of Pure and Applied Logic
78 Journal of Applied Logic
69 History and Philosophy of Logic
69 International Journal of Approximate Reasoning
64 Logica Universalis
54 Logic and Logical Philosophy
44 Annals of Mathematics and Artificial Intelligence
43 Theoretical Computer Science
40 Fuzzy Sets and Systems
39 International Journal of Theoretical Physics
38 The Bulletin of Symbolic Logic
31 Nôus
30 Topoi
21 Archive for Mathematical Logic
21 Mathematical Logic Quarterly (MLQ)
21 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
19 Information Sciences
19 Theory and Decision
17 Social Choice and Welfare
16 Foundations of Physics
15 Journal of Economic Theory
13 Algebra Universalis
13 Mathematical Social Sciences
12 Journal of Mathematical Psychology
12 Information and Computation
11 Bulletin of the Section of Logic
11 Journal of Automated Reasoning
11 Soft Computing
10 Foundations of Science
9 International Journal of General Systems
9 ACM Transactions on Computational Logic
9 Journal of Logical and Algebraic Methods in Programming
8 Games and Economic Behavior
8 Logical Methods in Computer Science
7 Journal of Computer and System Sciences
7 Linguistics and Philosophy
7 Formal Aspects of Computing
7 MSCS. Mathematical Structures in Computer Science
7 Indagationes Mathematicae. New Series
6 Information Processing Letters
6 Journal of Mathematical Physics
6 Algebra and Logic
6 Siberian Mathematical Journal
6 International Journal of Intelligent Systems
6 Historia Mathematica
6 The Journal of Artificial Intelligence Research (JAIR)
6 European Journal for Philosophy of Science
5 Computers & Mathematics with Applications
5 Journal of Computational Physics
5 Mathematical Notes
5 Mathematica Slovaca
5 Order
5 Theory and Practice of Logic Programming
5 Games
4 Kybernetika
4 Journal of Symbolic Computation
4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
3 Applied Mathematics and Computation
3 Cahiers de Topologie et Géométrie Différentielle Catégoriques
3 Duke Mathematical Journal
3 Kybernetes
3 Semigroup Forum
3 Topology and its Applications
3 Annals of Operations Research
3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
3 International Studies in the Philosophy of Science
3 Axiomathes
2 Acta Informatica
2 Archive for History of Exact Sciences
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Discrete Applied Mathematics
2 Discrete Mathematics
2 Lithuanian Mathematical Journal
2 Journal of Mathematical Economics
2 The Journal of Mathematical Sociology
2 Journal of Optimization Theory and Applications
2 Journal of Pure and Applied Algebra
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Advances in Applied Mathematics
2 Science of Computer Programming
2 New Generation Computing
2 European Journal of Operational Research
2 Russian Mathematics
2 Applied Categorical Structures
2 Economic Theory
2 New Journal of Physics
2 The Journal of Logic and Algebraic Programming
2 Quantum Information Processing
2 New Mathematics and Natural Computation
2 Formalized Mathematics
...and 83 more Journals
all top 5

Cited in 47 Fields

3,433 Mathematical logic and foundations (03-XX)
752 Computer science (68-XX)
214 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
143 History and biography (01-XX)
139 Quantum theory (81-XX)
132 General and overarching topics; collections (00-XX)
131 Order, lattices, ordered algebraic structures (06-XX)
88 Probability theory and stochastic processes (60-XX)
44 Statistics (62-XX)
38 Category theory; homological algebra (18-XX)
33 General topology (54-XX)
25 General algebraic systems (08-XX)
25 Relativity and gravitational theory (83-XX)
21 Information and communication theory, circuits (94-XX)
20 Functional analysis (46-XX)
18 Geometry (51-XX)
14 Combinatorics (05-XX)
11 Group theory and generalizations (20-XX)
10 Operator theory (47-XX)
10 Operations research, mathematical programming (90-XX)
9 Measure and integration (28-XX)
8 Real functions (26-XX)
7 Biology and other natural sciences (92-XX)
7 Systems theory; control (93-XX)
5 Number theory (11-XX)
5 Associative rings and algebras (16-XX)
5 Convex and discrete geometry (52-XX)
5 Numerical analysis (65-XX)
5 Mechanics of particles and systems (70-XX)
4 Mathematics education (97-XX)
3 Differential geometry (53-XX)
3 Manifolds and cell complexes (57-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Nonassociative rings and algebras (17-XX)
2 Partial differential equations (35-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Fluid mechanics (76-XX)
1 Topological groups, Lie groups (22-XX)
1 Difference and functional equations (39-XX)
1 Algebraic topology (55-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Optics, electromagnetic theory (78-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Astronomy and astrophysics (85-XX)
1 Geophysics (86-XX)

Citations by Year