×

Journal of Philosophical Logic

Short Title: J. Philos. Log.
Publisher: Springer Netherlands, Dordrecht
ISSN: 0022-3611; 1573-0433/e
Online: https://link.springer.com/journal/10992/volumes-and-issues
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 1,436 Publications (since 1972)
References Indexed: 1,126 Publications with 28,538 References.
all top 5

Latest Issues

52, No. 4 (2023)
52, No. 3 (2023)
52, No. 2 (2023)
52, No. 1 (2023)
51, No. 6 (2022)
51, No. 5 (2022)
51, No. 4 (2022)
51, No. 3 (2022)
51, No. 2 (2022)
51, No. 1 (2022)
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)
...and 116 more Volumes
all top 5

Authors

16 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 Égré, Paul
9 Kremer, Philip
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 Ripley, David
7 Urquhart, Alasdair
6 Bacon, Andrew
6 Belnap, Nuel D. jun.
6 Fritz, Peter
6 Garson, James W.
6 Hazen, Allen P.
6 Horsten, Leon
6 Kamide, Norihiro
6 McCarthy, Timothy G.
6 Rossi, Lorenzo Paolo
6 Sylvan, Richard
5 Adams, Ernest Wilcox
5 Åqvist, Lennart
5 Boolos, George S.
5 Correia, Fabrice
5 Fitelson, Branden
5 Gabbay, Dov M.
5 Gupta, Anil Kumar
5 Hellman, Geoffrey
5 Meyer, Thomas Andreas
5 Osherson, Daniel N.
5 Robles, Gemma
5 Röper, Peter
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 Baltag, Alexandru
4 Barrio, Eduardo Alejandro
4 Bencivenga, Ermanno
4 Berto, Francesco
4 Bimbó, Katalin
4 Booth, Richard F.
4 Byrd, Michael E.
4 Chellas, Brian F.
4 Chihara, Charles S.
4 Cobreros, Pablo
4 Fan, Jie
4 Francez, Nissim
4 Glymour, Clark
4 Goble, Lou
4 Goodman, Jeremy
4 Gratzl, Norbert
4 Halbach, Volker
4 Hawthorne, James
4 Hintikka, Jaakko
4 Kelly, Kevin T.
4 Leblanc, Hugues
4 Lewis, David Kellogg
4 McGee, Vann
4 Morgan, Charles Grady
4 Moss, Lawrence S.
4 Müller, Thomas
4 Özgün, Aybüke
4 Pacuit, Eric
4 Pailos, Federico Matias
4 Predelli, Stefano
4 Rabern, Brian
4 Rott, Hans
4 Standefer, Shawn
4 Tedder, Andrew
4 Thomason, Richmond H.
4 Thomason, Steven K.
4 van Rooy, Robert
4 Williamson, Timothy
4 Wintein, Stefan
4 Zanardo, Alberto
4 Zardini, Elia
3 Aitken, Wayne
3 Antonelli, Gian Aldo
3 Bacon, John B.
3 Barrett, Jeffrey A.
3 Beall, Jc
3 Bendall, Kent
3 Blackburn, Patrick
3 Brown, Bryson
3 Chopra, Samir
...and 969 more Authors

Publications by Year

Citations contained in zbMATH Open

1,052 Publications have been cited 8,333 times in 4,658 Documents Cited by Year
The logic of paradox. Zbl 0402.03012
Priest, Graham
233
1979
Two modellings for theory change. Zbl 0639.03025
Grove, Adam
201
1988
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
119
1998
Proof analysis in modal logic. Zbl 1086.03045
Negri, Sara
99
2005
Counterfactuals and comparative possibility. Zbl 0272.02048
Lewis, David
85
1973
Semantic analysis of orthologic. Zbl 0278.02023
Goldblatt, R. I.
84
1974
Tolerant, classical, strict. Zbl 1243.03038
Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert
80
2012
Defaults in update semantics. Zbl 0860.03025
Veltman, Frank
80
1996
Truth and paradox. Zbl 0512.03002
Gupta, Anil
76
1982
Merging frameworks for interaction. Zbl 1185.03019
van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric
71
2009
Display logic. Zbl 0509.03008
Belnap, Nuel D. jun.
69
1982
Hedges: A study in meaning criteria and the logic of fuzzy concepts. Zbl 0272.02047
Lakoff, George
66
1973
The semantics of entailment. III. Zbl 0317.02019
Routley, Richard; Meyer, Robert K.
64
1972
Notes on naive semantics. Zbl 0513.03003
Herzberger, Hans G.
62
1982
Inquisitive logic. Zbl 1214.03019
Ciardelli, Ivano; Roelofsen, Floris
62
2011
The semantics of entailment. II. Zbl 0317.02018
Routley, Richard; Meyer, Robert K.
58
1972
Basic conditional logic. Zbl 0317.02029
Chellas, Brian F.
56
1975
Modal logic with names. Zbl 0793.03012
Gargov, George; Goranko, Valentin
54
1993
Impossible possible worlds vindicated. Zbl 0334.02003
Hintikka, Jaakko
54
1975
On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008
Makinson, David
51
1987
Two-dimensional modal logic. Zbl 0259.02013
Segerberg, Krister
51
1973
Theory contraction through base contraction. Zbl 0723.03010
Fuhrmann, André
49
1991
Logical constraints on judgement aggregation. Zbl 1108.03009
Pauly, Marc; van Hees, Martin
48
2006
Input/output logics. Zbl 0964.03002
Makinson, David; van der Torre, Leendert
48
2000
Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012
Shramko, Yaroslav; Wansing, Heinrich
46
2005
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
45
2009
Iterated revision and minimal change of conditional beliefs. Zbl 0858.03030
Boutilier, Craig
43
1996
Models for entailment. Zbl 0296.02013
Fine, Kit
43
1974
The deliberative stit: A study of action, omission, ability, and obligation. Zbl 0846.03001
Horty, John F.; Belnap, Nuel
42
1995
Measuring inconsistency. Zbl 1003.03022
Knight, Kevin
41
2002
What is a syllogism? Zbl 0259.02005
Smiley, T. J.
40
1973
What truth depends on. Zbl 1097.03005
Leitgeb, Hannes
39
2005
Angellic content. Zbl 1392.03030
Fine, Kit
36
2016
Ordering semantics and premise semantics for counterfactuals. Zbl 0473.03015
Lewis, David
34
1981
Reversing the Levi identity. Zbl 0788.03033
Hansson, Sven Ove
33
1993
How truthlike can a predicate be? A negative result. Zbl 0583.03002
McGee, Vann
33
1985
The modal logic of provability. The sequential approach. Zbl 0523.03014
Sambin, Giovanni; Valentini, Silvio
33
1982
AGM 25 years. Twenty-five years of research in belief change. Zbl 1227.03002
Fermé, Eduardo; Hansson, Sven Ove
32
2011
Nothing but the truth. Zbl 1269.03027
Pietz, Andreas; Rivieccio, Umberto
32
2013
What is classical mereology? Zbl 1171.03002
Hovda, Paul
32
2009
Four valued semantics and the Liar. Zbl 0546.03007
Visser, Albert
31
1984
Modal tableau calculi and interpolation. Zbl 0547.03015
Rautenberg, Wolfgang
31
1983
General-elimination harmony and the meaning of the logical constants. Zbl 1207.03015
Read, Stephen
31
2010
Truth-maker semantics for intuitionistic logic. Zbl 1335.03011
Fine, Kit
31
2014
Region-based topology. Zbl 0873.54001
Roeper, Peter
30
1997
Language in action. Zbl 0743.03018
van Benthem, Johan
29
1991
Moral dilemmas and nonmonotonic logic. Zbl 0796.03035
Horty, John F.
28
1994
Constructions, proofs and the meaning of logical constants. Zbl 0539.03038
Sundholm, Göran
28
1983
Constraints for input/output logics. Zbl 0993.03039
Makinson, David; van der Torre, Leendert
28
2001
Logic based merging. Zbl 1233.03024
Konieczny, Sébastien; Pino Pérez, Ramón
28
2011
Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus. Zbl 1067.03032
Brown, Bryson; Priest, Graham
28
2004
On logics with coimplication. Zbl 0976.03020
Wolter, Frank
27
1998
Severe withdrawal (and recovery). Zbl 0934.03024
Rott, Hans; Pagnucco, Maurice
27
1999
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
26
1989
Stochastic independence, causal independence, and shieldability. Zbl 0436.60004
Spohn, Wolfgang
26
1980
A hierarchy of classical and paraconsistent logics. Zbl 1471.03053
Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian
26
2020
Permission from an input/output perspective. Zbl 1028.03017
Makinson, David; van der Torre, Leendert
25
2003
The liar paradox. Zbl 0296.02001
Parsons, Charles
25
1974
The logics of strict-tolerant logic. Zbl 1350.03007
Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego
25
2015
On the logic of ability. Zbl 0653.03003
Brown, Mark A.
24
1988
On extensions of intermediate logics by strong negation. Zbl 0929.03035
Kracht, Marcus
24
1998
Harmony and autonomy in classical logic. Zbl 0947.03008
Read, Stephen
24
2000
Logical consequence and the paradoxes. Zbl 1302.03021
Mares, Edwin; Paoli, Francesco
24
2014
The logic of conditional obligation. Comments by Harry Beatty. Zbl 0246.02015
van Fraassen, Bas C.
24
1972
Truth and reflection. Zbl 0588.03002
Yablo, Stephen
23
1985
Fine-grained opinion, probability, and the logic of full belief. Zbl 0825.03015
van Fraassen, Bas C.
23
1995
A note on harmony. Zbl 1247.03005
Francez, Nissim; Dyckhoff, Roy
23
2012
On the logic of demonstratives. Zbl 0415.03004
Kaplan, David
23
1979
On the logic of nonmonotonic conditionals and conditional probabilities. Zbl 0854.03019
Hawthorne, James
23
1996
Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
23
2008
Some remarks on extending and interpreting theories with a partial predicate for truth. Zbl 0629.03002
Reinhardt, William N.
22
1986
Grounding, dependence, and paradox. Zbl 0519.03019
Yablo, Steve
22
1982
Two methods of constructing contractions and revisions of knowledge systems. Zbl 0723.03009
Rott, Hans
22
1991
Simplified semantics for basic relevant logics. Zbl 0782.03008
Priest, Graham; Sylvan, Richard
22
1992
A revenge-immune solution to the semantic paradoxes. Zbl 1026.03009
Field, Hartry
21
2003
On the ternary relation and conditionality. Zbl 1260.03049
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard
21
2012
Semantics for quantified relevance logic. Zbl 0646.03013
Fine, Kit
20
1988
Conditional probability and defeasible inference. Zbl 1082.03023
Arló Costa, Horacio; Parikh, Rohit
20
2005
Relevant restricted quantification. Zbl 1111.03020
Beall, Jc; Brady, Ross T.; Hazen, A. P.; Priest, Graham; Restall, Greg
20
2006
A finite axiomatization of the set of strongly valid Ockhamist formulas. Zbl 0579.03015
Zanardo, Alberto
20
1985
Paraconsistent logics? Zbl 0830.03002
Slater, B. H.
20
1995
Conditionals right and left: probabilities for the whole family. Zbl 1171.03010
Kaufmann, Stefan
20
2009
Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022
Reyes, Gonzalo E.; Zolfaghari, Houman
20
1996
Efficient reasoning about rich temporal domains. Zbl 0662.03014
Shoham, Yoav
19
1988
Socratic proofs. Zbl 1048.03009
Wiśniewski, Andrzej
19
2004
Maximal consistent sets of instances of Tarski’s schema (T). Zbl 0773.03003
McGee, Vann
19
1992
Axioms for deliberative stit. Zbl 0917.03007
Xu, Ming
19
1998
From worlds to possibilities. Zbl 0481.03011
Humberstone, I. L.
19
1981
Representational of conditional probabilities. Zbl 0341.60029
van Fraassen, Bas C.
19
1976
On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic. Zbl 0416.03022
Copeland, B. J.
19
1979
Qualitative probability as an intensional logic. Zbl 0317.02030
Gärdenfors, Peter
19
1975
Kripke and the logic of truth. Zbl 0653.03002
Kremer, Michael
18
1988
Synonymous logics. Zbl 1030.03019
Pelletier, Francis Jeffry; Urquhart, Alasdair
18
2003
The modal logic of provability: cut-elimination. Zbl 0535.03031
Valentini, Silvio
18
1983
Axioms for actuality. Zbl 0538.03015
Hodes, Harold T.
18
1984
Expressive completeness in modal language. Zbl 0347.02011
Hazen, Allen
18
1976
Finite models constructed from canonical formulas. Zbl 1132.03007
Moss, Lawrence S.
18
2007
Contradictory information: too much of a good thing. Zbl 1207.03032
Dunn, J. Michael
18
2010
Naive modus ponens. Zbl 1315.03012
Zardini, Elia
18
2013
Intensional logics without iterative axioms. Zbl 0296.02014
Lewis, David
18
1974
Determining maximal entropy functions for objective Bayesian inductive logic. Zbl 07677864
Landes, Juergen; Rafiee Rad, Soroush; Williamson, Jon
1
2023
Grounding generalizations. Zbl 07695105
Goodman, Jeremy
1
2023
Non-reflexivity and revenge. Zbl 07484060
Murzi, Julien; Rossi, Lorenzo
4
2022
Neighbourhood semantics for quantified relevant logics. Zbl 07535469
Tedder, Andrew; Ferenz, Nicholas
2
2022
Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach. Zbl 07644285
Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca
2
2022
Selective base revisions. Zbl 07484053
Garapa, Marco
2
2022
Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism. Zbl 07484054
Schurz, Gerhard
2
2022
Rewriting the history of connexive logic. Zbl 07535471
Lenzen, Wolfgang
1
2022
How to prove Hume’s law. Zbl 07535474
Russell, Gillian
1
2022
On the logical form of concessive conditionals. Zbl 07535475
Crupi, Vincenzo; Iacona, Andrea
1
2022
What is a relevant connective? Zbl 1511.03005
Standefer, Shawn
1
2022
One step is enough. Zbl 07644278
Ripley, David
1
2022
Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates. Zbl 07644280
Golan, Rea
1
2022
Metainferential reasoning on strong Kleene models. Zbl 07644281
Fjellstad, Andreas
1
2022
Empty logics. Zbl 07644284
Pailos, Federico
1
2022
Derivability and metainferential validity. Zbl 07644288
Da Ré, Bruno; Szmuc, Damian; Teijeiro, Paula
1
2022
Validities, antivalidities and contingencies: a multi-standard approach. Zbl 07484056
Barrio, Eduardo; Pailos, Federico
1
2022
Falsification-aware semantics and sequent calculi for classical logic. Zbl 07484057
Kamide, Norihiro
1
2022
Routley star and hyperintensionality. Zbl 07345775
Odintsov, Sergei; Wansing, Heinrich
6
2021
A more unified approach to free logics. Zbl 07345779
Pavlović, Edi; Gratzl, Norbert
5
2021
A simple logic of functional dependence. Zbl 07420139
Baltag, Alexandru; van Benthem, Johan
4
2021
Towards a non-classical meta-theory for substructural approaches to paradox. Zbl 07420140
Rosenblatt, Lucas
3
2021
On negation for non-classical set theories. Zbl 07365451
Jockwich Martinez, S.; Venturi, G.
3
2021
De Finettian logics of indicative conditionals. I: Trivalent semantics and validity. Zbl 07345735
Égré, Paul; Rossi, Lorenzo; Sprenger, Jan
3
2021
A logic for disjunctive ignorance. Zbl 07437458
Fan, Jie
2
2021
Team semantics for interventionist counterfactuals: observations vs. interventions. Zbl 07365449
Barbero, Fausto; Sandu, Gabriel
2
2021
A family of strict/tolerant logics. Zbl 1496.03099
Fitting, Melvin
2
2021
A system of axioms for Minkowski spacetime. Zbl 1473.03008
Cocco, Lorenzo; Babic, Joshua
2
2021
Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems. Zbl 07413737
Kamide, Norihiro
1
2021
On abstraction in mathematics and indefiniteness in quantum mechanics. Zbl 07413738
Ellerman, David
1
2021
Probabilities with gaps and gluts. Zbl 07420143
Klein, Dominik; Majer, Ondrej; Rad, Soroush Rafiee
1
2021
Closed structure. Zbl 07437457
Fritz, Peter; Lederman, Harvey; Uzquiano, Gabriel
1
2021
Identity in Mares-Goldblatt models for quantified relevant logic. Zbl 1491.03018
Standefer, Shawn
1
2021
Plurals and mereology. Zbl 07365447
Florio, Salvatore; Nicolas, David
1
2021
De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics. Zbl 07345736
Égré, Paul; Rossi, Lorenzo; Sprenger, Jan
1
2021
A hierarchy of classical and paraconsistent logics. Zbl 1471.03053
Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian
26
2020
Classical logic and the strict tolerant hierarchy. Zbl 1484.03039
Scambler, Chris
17
2020
Intuitionistic non-normal modal logics: a general framework. Zbl 1485.03047
Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola
5
2020
Inferences and metainferences in \(\mathsf{ST}\). Zbl 1485.03059
Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert
4
2020
Indicative conditionals and graded information. Zbl 1476.03012
Ciardelli, Ivano
3
2020
Revising probabilities and full beliefs. Zbl 1485.03037
Hansson, Sven Ove
3
2020
Transfinite meta-inferences. Zbl 1485.03055
Scambler, Chris
3
2020
Forcing and the universe of sets: must we lose insight? Zbl 1485.03215
Barton, Neil
3
2020
Substitution contradiction, its resolution and the Church-Rosser theorem in TIL. Zbl 1484.03006
Kosterec, Miloš
2
2020
A relevant logic of questions. Zbl 1485.03054
Punčochář, Vít
2
2020
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion. Zbl 1485.03060
Kamide, Norihiro
2
2020
Truthmaker semantics for relevant logic. Zbl 1485.03052
Jago, Mark
2
2020
The fundamental problem of logical omniscience. Zbl 1485.03038
Hawke, Peter; Özgün, Aybüke; Berto, Francesco
2
2020
Reference and truth. Zbl 1484.03009
Picollo, Lavinia
1
2020
Explicating logical independence. Zbl 1484.03003
Humberstone, Lloyd
1
2020
Intuitionism and the modal logic of vagueness. Zbl 1476.03032
Bobzien, Susanne; Rumfitt, Ian
1
2020
Free choice impossibility results. Zbl 1484.03035
Goldstein, Simon
1
2020
Jeffrey meets Kolmogorov. A general theory of conditioning. Zbl 1485.60005
Meehan, Alexander; Zhang, Snow
1
2020
Infinitesimal gunk. Zbl 1486.03127
Chen, Lu
1
2020
Probability modals and infinite domains. Zbl 1485.03057
Marushak, Adam
1
2020
A state-of-affairs-semantic solution to the problem of extensionality in free logic. Zbl 1485.03015
Leeb, Hans-Peter
1
2020
Predicate change. A study on the conservativity of conceptual change. Zbl 1485.03042
Strößner, Corina
1
2020
Formalizing Kant’s rules. A logic of conditional imperatives and permissives. Zbl 1485.03014
Evans, R.; Sergot, M.; Stephenson, A.
1
2020
Relative necessity and propositional quantification. Zbl 1485.03050
Roberts, Alexander
1
2020
Intuitionistic conditional logics. Zbl 1485.03018
Ciardelli, Ivano; Liu, Xinghan
1
2020
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). Zbl 1457.03057
Leitgeb, Hannes
13
2019
Negation on the Australian plan. Zbl 1457.03007
Berto, Francesco; Restall, Greg
10
2019
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
9
2019
A dynamic solution to the problem of logical omniscience. Zbl 1457.03008
Bjerring, Jens Christian; Skipper, Mattias
7
2019
A topological approach to full belief. Zbl 1457.03030
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
6
2019
Six problems in pure inductive logic. Zbl 1457.03049
Paris, J. B.; Vencovská, A.
5
2019
Symmetric contingency logic with unlimitedly many modalities. Zbl 1457.03040
Fan, Jie
5
2019
Bimodal logics with contingency and accident. Zbl 1509.03069
Fan, Jie
5
2019
Algebraic analysis of demodalised analytic implication. Zbl 1457.03078
Ledda, Antonio; Paoli, Francesco; Pra Baldi, Michele
4
2019
A new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
4
2019
On generalization of definitional equivalence to non-disjoint languages. Zbl 1457.03024
Lefever, Koen; Székely, Gergely
4
2019
The modal logic of Bayesian belief revision. Zbl 1457.03039
Brown, William; Gyenis, Zalán; Rédei, Miklós
4
2019
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
3
2019
Instability and contraction. Méditations hégéliennes. I. Zbl 1459.03006
Zardini, Elia
3
2019
Implicit and explicit stances in logic. Zbl 1457.03035
van Benthem, Johan
3
2019
Simplified tableaux for STIT imagination logic. Zbl 1457.03034
Olkhovikov, Grigory K.; Wansing, Heinrich
2
2019
Notes on stratified semantics. Zbl 1457.03048
Logan, Shay Allen
2
2019
The harmony of identity. Zbl 1457.03068
Klev, Ansten
2
2019
Limits in the revision theory. More than just definite verdicts. Zbl 1457.03009
Campbell-Moore, Catrin
2
2019
Basic intuitionistic conditional logic. Zbl 1457.03047
Weiss, Yale
2
2019
Revision without revision sequences: self-referential truth. Zbl 1457.03020
Rivello, Edoardo
2
2019
Ungroundedness in Tarskian languages. Zbl 1457.03016
Kripke, Saul A.
2
2019
Substitution structures. Zbl 1457.03028
Bacon, Andrew
1
2019
Modal expansionism. Zbl 1457.03044
Roberts, Alexander
1
2019
Agglomerative algebras. Zbl 1457.03073
Goodman, Jeremy
1
2019
Models for hylomorphism. Zbl 1457.03015
Jacinto, Bruno; Cotnoir, A. J.
1
2019
Revision without revision sequences: circular definitions. Zbl 1457.03019
Rivello, Edoardo
1
2019
Probability for the revision theory of truth. Zbl 1457.03010
Campbell-Moore, Catrin; Horsten, Leon; Leitgeb, Hannes
1
2019
Combinatorial bitstring semantics for arbitrary logical fragments. Zbl 1436.03110
Demey, Lorenz; Smessaert, Hans
11
2018
Order-dual relational semantics for non-distributive propositional logics: a general framework. Zbl 1436.03168
Hartonas, Chrysafis
9
2018
Principles for object-linguistic consequence: from logical to irreflexive. Zbl 1436.03059
Nicolai, Carlo; Rossi, Lorenzo
9
2018
Probabilistic opinion pooling with imprecise probabilities. Zbl 1436.62026
Stewart, Rush T.; Quintana, Ignacio Ojea
8
2018
Contraction, infinitary quantifiers, and omega paradoxes. Zbl 1436.03143
Da Ré, Bruno; Rosenblatt, Lucas
8
2018
Williamson on counterpossibles. Zbl 1436.03021
Berto, Francesco; French, Rohan; Priest, Graham; Ripley, David
8
2018
The broadest necessity. Zbl 1457.03038
Bacon, Andrew
6
2018
Axiomatic theories of partial ground. I: The base theory. Zbl 1436.03047
Korbmacher, Johannes
6
2018
On the costs of nonclassical logic. Zbl 1436.03167
Halbach, Volker; Nicolai, Carlo
6
2018
An axiomatic system and a tableau calculus for STIT imagination logic. Zbl 1436.03114
Olkhovikov, Grigory K.; Wansing, Heinrich
6
2018
There is more to negation than modality. Zbl 1436.03032
De, Michael; Omori, Hitoshi
6
2018
Proof theory of paraconsistent quantum logic. Zbl 1437.03178
Kamide, Norihiro
5
2018
...and 952 more Documents
all top 5

Cited by 3,118 Authors

44 van Benthem, Johan F. A. K.
41 Wansing, Heinrich Theodor
35 Hansson, Sven Ove
30 Kamide, Norihiro
24 Priest, Graham
23 Humberstone, Lloyd
22 Égré, Paul
22 Paris, Jeffrey Bruce
21 Gabbay, Dov M.
21 Leitgeb, Hannes
21 Lorini, Emiliano
21 Smets, Sonja J. L.
21 van Ditmarsch, Hans Pieter
20 Baltag, Alexandru
20 Mares, Edwin D.
20 Ripley, David
20 Robles, Gemma
19 Brady, Ross Thomas
19 Pacuit, Eric
19 Restall, Greg
18 Dunn, Jon Michael
18 Schurz, Gerhard
18 Wang, Yanjing
17 Fine, Kit
17 Petrukhin, Yaroslav Igorevich
16 Avron, Arnon
16 Francez, Nissim
16 Negri, Sara
16 Rott, Hans
16 Shramko, Yaroslav V.
15 Bimbó, Katalin
15 Holliday, Wesley H.
14 Dietrich, Franz K.
14 Dubois, Didier
14 Grant, John R.
14 ten Cate, Balder David
14 van der Torre, Leendert W. N.
13 Arieli, Ofer
13 Booth, Richard F.
13 Carrara, Massimiliano
13 Ferguson, Thomas Macaulay
13 Fermé, Eduardo Leopoldo
13 Kern-Isberner, Gabriele
13 Palmigiano, Alessandra
13 Shapiro, Stewart
13 Vencovská, Alena
12 Blackburn, Patrick
12 Bonanno, Giacomo
12 Ciardelli, Ivano A.
12 Demey, Lorenz
12 Fritz, Peter
12 Goranko, Valentin F.
12 Halpern, Joseph Yehuda
12 Horsten, Leon
12 Kurahashi, Taishi
12 Landes, Jürgen
12 Makinson, David Clement
12 Pailos, Federico Matias
12 Segerberg, Krister
12 Szmuc, Damian Enrique
12 Vakarelov, Dimiter
12 van Rooy, Robert
12 Visser, Albert
12 Weber, Zach
12 Wiśniewski, Andrzej
11 Broersen, Jan M.
11 Delgrande, James P.
11 Douven, Igor
11 Godo, Lluís
11 Goré, Rajeev Prabhakar
11 Gratzl, Norbert
11 Halbach, Volker
11 Jago, Mark
11 List, Christian
11 Meyer, Robert Kenneth
11 Meyer, Thomas Andreas
11 Naumov, Pavel G.
11 Németi, István
11 Omori, Hitoshi
11 Peppas, Pavlos
11 Pino Pérez, Ramón
11 Reis, Maurício D. L.
11 Sano, Katsuhiko
11 Tennant, Neil W.
10 Andréka, Hajnal
10 Beall, Jc
10 Berto, Francesco
10 Bezhanishvili, Nick
10 Falappa, Marcelo Alejandro
10 French, Rohan
10 Gilio, Angelo
10 Herzig, Andreas
10 Konieczny, Sébastien
10 Kooi, Barteld Pieter
10 Novák, Vilém
10 Odintsov, Sergei P.
10 Paoli, Francesco
10 Poggiolesi, Francesca
10 Prade, Henri M.
10 Punčochář, Vít
...and 3,018 more Authors
all top 5

Cited in 202 Journals

703 Journal of Philosophical Logic
456 Synthese
409 Studia Logica
245 The Review of Symbolic Logic
157 Notre Dame Journal of Formal Logic
152 Journal of Logic, Language and Information
147 Artificial Intelligence
122 Journal of Applied Non-Classical Logics
118 The Journal of Symbolic Logic
100 Erkenntnis
94 Annals of Pure and Applied Logic
80 Journal of Applied Logic
79 International Journal of Approximate Reasoning
77 History and Philosophy of Logic
76 Logica Universalis
70 Logic and Logical Philosophy
52 Annals of Mathematics and Artificial Intelligence
44 Theoretical Computer Science
44 The Bulletin of Symbolic Logic
40 Fuzzy Sets and Systems
39 International Journal of Theoretical Physics
31 Topoi
31 Nôus
29 Mathematical Logic Quarterly (MLQ)
23 Archive for Mathematical Logic
21 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
20 Information Sciences
19 Theory and Decision
19 Social Choice and Welfare
19 Foundations of Physics
17 Information and Computation
15 Algebra Universalis
15 Journal of Economic Theory
15 Bulletin of the Section of Logic
14 Journal of Automated Reasoning
14 Soft Computing
13 Mathematical Social Sciences
13 ACM Transactions on Computational Logic
12 Journal of Mathematical Psychology
11 Journal of Logical and Algebraic Methods in Programming
10 Foundations of Science
10 Logical Methods in Computer Science
9 International Journal of General Systems
8 Games and Economic Behavior
8 Logicheskie Issledovaniya
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
7 The Journal of Artificial Intelligence Research (JAIR)
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 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 Journal of Optimization Theory and Applications
3 Journal of Pure and Applied Algebra
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 Journal of Multiple-Valued Logic and Soft Computing
3 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 Physica A
2 Journal of Mathematical Economics
2 The Journal of Mathematical Sociology
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Advances in Applied Mathematics
2 Science of Computer Programming
2 Theoria. Segunda Epoca
2 New Generation Computing
2 European Journal of Operational Research
2 Russian Mathematics
2 Applied Categorical Structures
2 Economic Theory
...and 102 more Journals
all top 5

Cited in 48 Fields

4,052 Mathematical logic and foundations (03-XX)
919 Computer science (68-XX)
248 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
172 History and biography (01-XX)
156 Quantum theory (81-XX)
154 General and overarching topics; collections (00-XX)
146 Order, lattices, ordered algebraic structures (06-XX)
99 Probability theory and stochastic processes (60-XX)
54 Category theory; homological algebra (18-XX)
52 Statistics (62-XX)
40 General topology (54-XX)
31 Relativity and gravitational theory (83-XX)
26 General algebraic systems (08-XX)
26 Information and communication theory, circuits (94-XX)
22 Functional analysis (46-XX)
19 Geometry (51-XX)
14 Combinatorics (05-XX)
12 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 Associative rings and algebras (16-XX)
7 Biology and other natural sciences (92-XX)
6 Convex and discrete geometry (52-XX)
6 Numerical analysis (65-XX)
6 Mechanics of particles and systems (70-XX)
6 Systems theory; control (93-XX)
5 Number theory (11-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 Algebraic topology (55-XX)
2 Fluid mechanics (76-XX)
2 Optics, electromagnetic theory (78-XX)
1 Commutative algebra (13-XX)
1 Topological groups, Lie groups (22-XX)
1 Difference and functional equations (39-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Astronomy and astrophysics (85-XX)
1 Geophysics (86-XX)

Citations by Year