## 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,384 Publications (since 1972) References Indexed: 1,075 Publications with 26,793 References.
all top 5

### Latest Issues

 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) 35, No. 5 (2006) 35, No. 4 (2006) 35, No. 3 (2006) 35, No. 2 (2006) 35, No. 1 (2006) ...and 111 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 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 Ripley, David 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 Bencivenga, Ermanno 4 Bimbó, Katalin 4 Byrd, Michael E. 4 Chellas, Brian F. 4 Chihara, Charles S. 4 Fan, Jie 4 Francez, Nissim 4 Glymour, Clark 4 Goble, Lou 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 Müller, Thomas 4 Pacuit, Eric 4 Predelli, Stefano 4 Robles, Gemma 4 Rott, Hans 4 Standefer, Shawn 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 Barrio, Eduardo Alejandro 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 ...and 932 more Authors
all top 5

### Fields

 1,354 Mathematical logic and foundations (03-XX) 69 Computer science (68-XX) 41 Probability theory and stochastic processes (60-XX) 37 Quantum theory (81-XX) 34 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 General and overarching topics; collections (00-XX) 22 History and biography (01-XX) 19 Order, lattices, ordered algebraic structures (06-XX) 10 Category theory; homological algebra (18-XX) 9 Statistics (62-XX) 7 General topology (54-XX) 5 Functional analysis (46-XX) 5 Operator theory (47-XX) 5 Geometry (51-XX) 4 Mechanics of particles and systems (70-XX) 3 Measure and integration (28-XX) 2 Combinatorics (05-XX) 2 Real functions (26-XX) 2 Relativity and gravitational theory (83-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX)

### Citations contained in zbMATH Open

1,009 Publications have been cited 7,301 times in 4,235 Documents Cited by Year
The logic of paradox. Zbl 0402.03012
Priest, Graham
1979
Two modellings for theory change. Zbl 0639.03025
1988
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
1998
Proof analysis in modal logic. Zbl 1086.03045
Negri, Sara
2005
Counterfactuals and comparative possibility. Zbl 0272.02048
Lewis, David
1973
Semantic analysis of orthologic. Zbl 0278.02023
Goldblatt, R. I.
1974
Gupta, Anil
1982
Defaults in update semantics. Zbl 0860.03025
Veltman, Frank
1996
Hedges: A study in meaning criteria and the logic of fuzzy concepts. Zbl 0272.02047
Lakoff, George
1973
Display logic. Zbl 0509.03008
Belnap, Nuel D. jun.
1982
Tolerant, classical, strict. Zbl 1243.03038
Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert
2012
The semantics of entailment. III. Zbl 0317.02019
Routley, Richard; Meyer, Robert K.
1972
Merging frameworks for interaction. Zbl 1185.03019
van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric
2009
Notes on naive semantics. Zbl 0513.03003
Herzberger, Hans G.
1982
Basic conditional logic. Zbl 0317.02029
Chellas, Brian F.
1975
Modal logic with names. Zbl 0793.03012
Gargov, George; Goranko, Valentin
1993
The semantics of entailment. II. Zbl 0317.02018
Routley, Richard; Meyer, Robert K.
1972
Inquisitive logic. Zbl 1214.03019
Ciardelli, Ivano; Roelofsen, Floris
2011
Two-dimensional modal logic. Zbl 0259.02013
Segerberg, Krister
1973
On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008
Makinson, David
1987
Impossible possible worlds vindicated. Zbl 0334.02003
Hintikka, Jaakko
1975
Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012
Shramko, Yaroslav; Wansing, Heinrich
2005
Logical constraints on judgement aggregation. Zbl 1108.03009
Pauly, Marc; van Hees, Martin
2006
Theory contraction through base contraction. Zbl 0723.03010
Fuhrmann, André
1991
Input/output logics. Zbl 0964.03002
Makinson, David; van der Torre, Leendert
2000
Models for entailment. Zbl 0296.02013
Fine, Kit
1974
The deliberative stit: A study of action, omission, ability, and obligation. Zbl 0846.03001
Horty, John F.; Belnap, Nuel
1995
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
2009
Iterated revision and minimal change of conditional beliefs. Zbl 0858.03030
Boutilier, Craig
1996
What truth depends on. Zbl 1097.03005
Leitgeb, Hannes
2005
Measuring inconsistency. Zbl 1003.03022
Knight, Kevin
2002
What is a syllogism? Zbl 0259.02005
Smiley, T. J.
1973
The modal logic of provability. The sequential approach. Zbl 0523.03014
Sambin, Giovanni; Valentini, Silvio
1982
Modal tableau calculi and interpolation. Zbl 0547.03015
Rautenberg, Wolfgang
1983
How truthlike can a predicate be? A negative result. Zbl 0583.03002
McGee, Vann
1985
Angellic content. Zbl 1392.03030
Fine, Kit
2016
Reversing the Levi identity. Zbl 0788.03033
Hansson, Sven Ove
1993
General-elimination harmony and the meaning of the logical constants. Zbl 1207.03015
2010
Language in action. Zbl 0743.03018
van Benthem, Johan
1991
Four valued semantics and the Liar. Zbl 0546.03007
Visser, Albert
1984
Ordering semantics and premise semantics for counterfactuals. Zbl 0473.03015
Lewis, David
1981
Region-based topology. Zbl 0873.54001
Roeper, Peter
1997
Truth-maker semantics for intuitionistic logic. Zbl 1335.03011
Fine, Kit
2014
Moral dilemmas and nonmonotonic logic. Zbl 0796.03035
Horty, John F.
1994
Nothing but the truth. Zbl 1269.03027
Pietz, Andreas; Rivieccio, Umberto
2013
Stochastic independence, causal independence, and shieldability. Zbl 0436.60004
Spohn, Wolfgang
1980
Constraints for input/output logics. Zbl 0993.03039
Makinson, David; van der Torre, Leendert
2001
On extensions of intermediate logics by strong negation. Zbl 0929.03035
Kracht, Marcus
1998
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
1989
Logic based merging. Zbl 1233.03024
Konieczny, Sébastien; Pino Pérez, Ramón
2011
AGM 25 years. Twenty-five years of research in belief change. Zbl 1227.03002
Fermé, Eduardo; Hansson, Sven Ove
2011
The logic of conditional obligation. Comments by Harry Beatty. Zbl 0246.02015
van Fraassen, Bas C.
1972
What is classical mereology? Zbl 1171.03002
Hovda, Paul
2009
Severe withdrawal (and recovery). Zbl 0934.03024
Rott, Hans; Pagnucco, Maurice
1999
On the logic of demonstratives. Zbl 0415.03004
Kaplan, David
1979
Fine-grained opinion, probability, and the logic of full belief. Zbl 0825.03015
van Fraassen, Bas C.
1995
On the logic of ability. Zbl 0653.03003
Brown, Mark A.
1988
Parsons, Charles
1974
Harmony and autonomy in classical logic. Zbl 0947.03008
2000
Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus. Zbl 1067.03032
Brown, Bryson; Priest, Graham
2004
On the logic of nonmonotonic conditionals and conditional probabilities. Zbl 0854.03019
Hawthorne, James
1996
Constructions, proofs and the meaning of logical constants. Zbl 0539.03038
Sundholm, Göran
1983
Truth and reflection. Zbl 0588.03002
Yablo, Stephen
1985
A revenge-immune solution to the semantic paradoxes. Zbl 1026.03009
Field, Hartry
2003
Permission from an input/output perspective. Zbl 1028.03017
Makinson, David; van der Torre, Leendert
2003
Simplified semantics for basic relevant logics. Zbl 0782.03008
Priest, Graham; Sylvan, Richard
1992
Two methods of constructing contractions and revisions of knowledge systems. Zbl 0723.03009
Rott, Hans
1991
Grounding, dependence, and paradox. Zbl 0519.03019
Yablo, Steve
1982
Some remarks on extending and interpreting theories with a partial predicate for truth. Zbl 0629.03002
Reinhardt, William N.
1986
A note on harmony. Zbl 1247.03005
Francez, Nissim; Dyckhoff, Roy
2012
On logics with coimplication. Zbl 0976.03020
Wolter, Frank
1998
Logical consequence and the paradoxes. Zbl 1302.03021
Mares, Edwin; Paoli, Francesco
2014
Relevant restricted quantification. Zbl 1111.03020
Beall, Jc; Brady, Ross T.; Hazen, A. P.; Priest, Graham; Restall, Greg
2006
Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
2008
Axioms for actuality. Zbl 0538.03015
Hodes, Harold T.
1984
A finite axiomatization of the set of strongly valid Ockhamist formulas. Zbl 0579.03015
Zanardo, Alberto
1985
Efficient reasoning about rich temporal domains. Zbl 0662.03014
Shoham, Yoav
1988
Semantics for quantified relevance logic. Zbl 0646.03013
Fine, Kit
1988
Qualitative probability as an intensional logic. Zbl 0317.02030
Gärdenfors, Peter
1975
Expressive completeness in modal language. Zbl 0347.02011
Hazen, Allen
1976
Socratic proofs. Zbl 1048.03009
Wiśniewski, Andrzej
2004
Maximal consistent sets of instances of Tarski’s schema (T). Zbl 0773.03003
McGee, Vann
1992
Logics of nonsense and Parry systems. Zbl 1318.03036
Ferguson, Thomas Macaulay
2015
Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022
Reyes, Gonzalo E.; Zolfaghari, Houman
1996
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.
1979
Paraconsistent logics? Zbl 0830.03002
Slater, B. H.
1995
Conditional probability and defeasible inference. Zbl 1082.03023
Arló Costa, Horacio; Parikh, Rohit
2005
The modal logic of provability: cut-elimination. Zbl 0535.03031
Valentini, Silvio
1983
Natural deduction and arbitrary objects. Zbl 0571.03004
Fine, Kit
1985
From worlds to possibilities. Zbl 0481.03011
Humberstone, I. L.
1981
Intensional logics without iterative axioms. Zbl 0296.02014
Lewis, David
1974
Representational of conditional probabilities. Zbl 0341.60029
van Fraassen, Bas C.
1976
On branching quantifiers in English. Zbl 0399.03008
Barwise, Jon
1979
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
2012
A complete axiom system for polygonal mereotopology of the real plane. Zbl 0921.03009
Pratt, Ian; Schoop, Dominik
1998
Naive modus ponens. Zbl 1315.03012
Zardini, Elia
2013
Conditionals right and left: probabilities for the whole family. Zbl 1171.03010
Kaufmann, Stefan
2009
On the consistency of the $$\Delta_1^1$$-CA fragment of Frege’s Grundgesetze. Zbl 1012.03059
Ferreira, Fernando; Wehmeier, Kai F.
2002
Logic of paradox revisited. Zbl 0543.03004
Priest, Graham
1984
Interval semantics for tense logic: Some remarks. Zbl 0409.03012
Humberstone, L. L.
1979
On the logical form of concessive conditionals. Zbl 07535475
Crupi, Vincenzo; Iacona, Andrea
2022
Routley star and hyperintensionality. Zbl 07345775
Odintsov, Sergei; Wansing, Heinrich
2021
On negation for non-classical set theories. Zbl 07365451
Jockwich Martinez, S.; Venturi, G.
2021
Towards a non-classical meta-theory for substructural approaches to paradox. Zbl 07420140
Rosenblatt, Lucas
2021
De Finettian logics of indicative conditionals. I: Trivalent semantics and validity. Zbl 07345735
Égré, Paul; Rossi, Lorenzo; Sprenger, Jan
2021
A more unified approach to free logics. Zbl 07345779
Pavlović, Edi; Gratzl, Norbert
2021
A family of strict/tolerant logics. Zbl 07345740
Fitting, Melvin
2021
Team semantics for interventionist counterfactuals: observations vs. interventions. Zbl 07365449
Barbero, Fausto; Sandu, Gabriel
2021
Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems. Zbl 07413737
Kamide, Norihiro
2021
A simple logic of functional dependence. Zbl 07420139
Baltag, Alexandru; van Benthem, Johan
2021
Probabilities with gaps and gluts. Zbl 07420143
Klein, Dominik; Majer, Ondrej; Rad, Soroush Rafiee
2021
Closed structure. Zbl 07437457
Fritz, Peter; Lederman, Harvey; Uzquiano, Gabriel
2021
Identity in Mares-Goldblatt models for quantified relevant logic. Zbl 1491.03018
Standefer, Shawn
2021
A hierarchy of classical and paraconsistent logics. Zbl 1471.03053
Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian
2020
Classical logic and the strict tolerant hierarchy. Zbl 1484.03039
Scambler, Chris
2020
Indicative conditionals and graded information. Zbl 1476.03012
Ciardelli, Ivano
2020
Intuitionistic non-normal modal logics: a general framework. Zbl 1485.03047
Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola
2020
Forcing and the universe of sets: must we lose insight? Zbl 1485.03215
Barton, Neil
2020
Inferences and metainferences in $$\mathsf{ST}$$. Zbl 1485.03059
Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert
2020
Substitution contradiction, its resolution and the Church-Rosser theorem in TIL. Zbl 1484.03006
Kosterec, Miloš
2020
Explicating logical independence. Zbl 1484.03003
Humberstone, Lloyd
2020
Intuitionism and the modal logic of vagueness. Zbl 1476.03032
Bobzien, Susanne; Rumfitt, Ian
2020
Free choice impossibility results. Zbl 1484.03035
Goldstein, Simon
2020
Truthmaker semantics for relevant logic. Zbl 1485.03052
Jago, Mark
2020
Relative necessity and propositional quantification. Zbl 1485.03050
Roberts, Alexander
2020
The fundamental problem of logical omniscience. Zbl 1485.03038
Hawke, Peter; Özgün, Aybüke; Berto, Francesco
2020
Intuitionistic conditional logics. Zbl 1485.03018
Ciardelli, Ivano; Liu, Xinghan
2020
A relevant logic of questions. Zbl 1485.03054
Punčochář, Vít
2020
Jeffrey meets Kolmogorov. A general theory of conditioning. Zbl 1485.60005
Meehan, Alexander; Zhang, Snow
2020
Infinitesimal gunk. Zbl 1486.03127
Chen, Lu
2020
Revising probabilities and full beliefs. Zbl 1485.03037
Hansson, Sven Ove
2020
Transfinite meta-inferences. Zbl 1485.03055
Scambler, Chris
2020
A state-of-affairs-semantic solution to the problem of extensionality in free logic. Zbl 1485.03015
Leeb, Hans-Peter
2020
Predicate change. A study on the conservativity of conceptual change. Zbl 1485.03042
Strößner, Corina
2020
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion. Zbl 1485.03060
Kamide, Norihiro
2020
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). Zbl 1457.03057
Leitgeb, Hannes
2019
Negation on the Australian plan. Zbl 1457.03007
Berto, Francesco; Restall, Greg
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
2019
A topological approach to full belief. Zbl 1457.03030
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
2019
Symmetric contingency logic with unlimitedly many modalities. Zbl 1457.03040
Fan, Jie
2019
A dynamic solution to the problem of logical omniscience. Zbl 1457.03008
Bjerring, Jens Christian; Skipper, Mattias
2019
A new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
2019
Algebraic analysis of demodalised analytic implication. Zbl 1457.03078
Ledda, Antonio; Paoli, Francesco; Pra Baldi, Michele
2019
Bimodal logics with contingency and accident. Zbl 07066828
Fan, Jie
2019
On generalization of definitional equivalence to non-disjoint languages. Zbl 1457.03024
Lefever, Koen; Székely, Gergely
2019
The modal logic of Bayesian belief revision. Zbl 1457.03039
Brown, William; Gyenis, Zalán; Rédei, Miklós
2019
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
2019
The harmony of identity. Zbl 1457.03068
Klev, Ansten
2019
Basic intuitionistic conditional logic. Zbl 1457.03047
Weiss, Yale
2019
Ungroundedness in Tarskian languages. Zbl 1457.03016
Kripke, Saul A.
2019
Agglomerative algebras. Zbl 1457.03073
Goodman, Jeremy
2019
Six problems in pure inductive logic. Zbl 1457.03049
Paris, J. B.; Vencovská, A.
2019
Notes on stratified semantics. Zbl 1457.03048
Logan, Shay Allen
2019
Simplified tableaux for STIT imagination logic. Zbl 1457.03034
Olkhovikov, Grigory K.; Wansing, Heinrich
2019
Substitution structures. Zbl 1457.03028
Bacon, Andrew
2019
Modal expansionism. Zbl 1457.03044
Roberts, Alexander
2019
Limits in the revision theory. More than just definite verdicts. Zbl 1457.03009
Campbell-Moore, Catrin
2019
Revision without revision sequences: circular definitions. Zbl 1457.03019
Rivello, Edoardo
2019
Instability and contraction. Méditations hégéliennes. I. Zbl 1459.03006
Zardini, Elia
2019
Revision without revision sequences: self-referential truth. Zbl 1457.03020
Rivello, Edoardo
2019
Implicit and explicit stances in logic. Zbl 1457.03035
van Benthem, Johan
2019
Contraction, infinitary quantifiers, and omega paradoxes. Zbl 1436.03143
Da Ré, Bruno; Rosenblatt, Lucas
2018
Principles for object-linguistic consequence: from logical to irreflexive. Zbl 1436.03059
Nicolai, Carlo; Rossi, Lorenzo
2018
Williamson on counterpossibles. Zbl 1436.03021
Berto, Francesco; French, Rohan; Priest, Graham; Ripley, David
2018
Probabilistic opinion pooling with imprecise probabilities. Zbl 1436.62026
Stewart, Rush T.; Quintana, Ignacio Ojea
2018
Order-dual relational semantics for non-distributive propositional logics: a general framework. Zbl 1436.03168
Hartonas, Chrysafis
2018
Bacon, Andrew
2018
Axiomatic theories of partial ground. I: The base theory. Zbl 1436.03047
Korbmacher, Johannes
2018
There is more to negation than modality. Zbl 1436.03032
De, Michael; Omori, Hitoshi
2018
Combinatorial bitstring semantics for arbitrary logical fragments. Zbl 1436.03110
Demey, Lorenz; Smessaert, Hans
2018
On the costs of nonclassical logic. Zbl 1436.03167
Halbach, Volker; Nicolai, Carlo
2018
Proof theory of paraconsistent quantum logic. Zbl 1437.03178
Kamide, Norihiro
2018
Higher-order contingentism. II: Patterns of indistinguishability. Zbl 1436.03130
Fritz, Peter
2018
Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth. Zbl 1436.03048
Korbmacher, Johannes
2018
An axiomatic system and a tableau calculus for STIT imagination logic. Zbl 1436.03114
Olkhovikov, Grigory K.; Wansing, Heinrich
2018
Emptying a paradox of ground. Zbl 1436.03079
Woods, Jack
2018
Let Us investigate! Dynamic conjecture-making as the formal logic of abduction. Zbl 1457.03033
Ma, Minghui; Pietarinen, Ahti-Veikko
2018
Stabilizing quantum disjunction. Zbl 1457.03069
Tranchini, Luca
2018
Relational semantics and domain semantics for epistemic modals. Zbl 1436.03173
Ninan, Dilip
2018
Obligation as optimal goal satisfaction. Zbl 1436.03135
Kowalski, Robert; Satoh, Ken
2018
On Sahlqvist formulas in relevant logic. Zbl 1441.03021
2018
A rational way of playing: revision theory for strategic interaction. Zbl 1436.91005
Bruni, Riccardo; Sillari, Giacomo
2018
Some notes on truths and comprehension. Zbl 1436.03308
Schindler, Thomas
2018
Some results on the limits of thought. Zbl 1457.03006
Bacon, Andrew; Uzquiano, Gabriel
2018
Modus ponens under the restrictor view. Zbl 1459.03005
Schulz, Moritz
2018
Approximating Cartesian closed categories in NF-style set theories. Zbl 1436.03269
Thomas, Morgan
2018
A theory of truthmaker content. I: Conjunction, disjunction and negation. Zbl 1417.03061
Fine, Kit
2017
Conditionals in theories of truth. Zbl 1417.03067
Gupta, Anil; Standefer, Shawn
2017
A theory of truthmaker content. II: Subject-matter, common content, remainder and ground. Zbl 1417.03062
Fine, Kit
2017
Inter-definability of Horn contraction and Horn revision. Zbl 1417.03145
Zhuang, Zhiqiang; Pagnucco, Maurice; Zhang, Yan
2017
Cut-elimination for quantified conditional logic. Zbl 1417.03282
Benzmüller, Christoph
2017
Message exchange games in strategic contexts. Zbl 1417.03205
Asher, Nicholas; Paul, Soumya; Venant, Antoine
2017
Relative necessity reformulated. Zbl 1417.03151
Hale, Bob; Leech, Jessica
2017
An impure logic of representational grounding. Zbl 1417.03050
Correia, Fabrice
2017
Hierarchical propositions. Zbl 1417.03107
Whittle, Bruno
2017
Completeness and decidability of general first-order logic (with a detour through the guarded fragment). Zbl 1417.03119
Antonelli, Aldo
2017
On a new semantics for first-order predicate logic. Zbl 1417.03118
Andréka, Hajnal; van Benthem, Johan; Németi, István
2017
The irreducibility of iterated to single revision. Zbl 1417.03135
Booth, Richard; Chandler, Jake
2017
Bridging ranking theory and the stability theory of belief. Zbl 1417.03142
Raidl, Eric; Skovgaard-Olsen, Niels
2017
Angellic content. Zbl 1392.03030
Fine, Kit
2016
...and 909 more Documents
all top 5

### Cited by 2,871 Authors

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

### Cited in 190 Journals

 661 Journal of Philosophical Logic 403 Studia Logica 398 Synthese 214 The Review of Symbolic Logic 150 Notre Dame Journal of Formal Logic 137 Journal of Logic, Language and Information 133 Artificial Intelligence 118 Journal of Applied Non-Classical Logics 115 The Journal of Symbolic Logic 100 Erkenntnis 87 Annals of Pure and Applied Logic 78 Journal of Applied Logic 71 International Journal of Approximate Reasoning 70 Logic and Logical Philosophy 69 History and Philosophy of Logic 69 Logica Universalis 47 Annals of Mathematics and Artificial Intelligence 43 Theoretical Computer Science 43 The Bulletin of Symbolic Logic 40 Fuzzy Sets and Systems 39 International Journal of Theoretical Physics 31 Nôus 30 Topoi 22 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 20 Information Sciences 19 Theory and Decision 18 Social Choice and Welfare 17 Foundations of Physics 15 Algebra Universalis 15 Journal of Economic Theory 15 Information and Computation 13 Mathematical Social Sciences 13 Logical Methods in Computer Science 12 Journal of Mathematical Psychology 12 Soft Computing 11 Bulletin of the Section of Logic 11 Journal of Automated Reasoning 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 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 Journal of Optimization Theory and Applications 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 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 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 Theoria. Segunda Epoca 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 ...and 90 more Journals
all top 5

### Cited in 47 Fields

 3,678 Mathematical logic and foundations (03-XX) 845 Computer science (68-XX) 227 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 150 History and biography (01-XX) 144 Quantum theory (81-XX) 138 Order, lattices, ordered algebraic structures (06-XX) 134 General and overarching topics; collections (00-XX) 91 Probability theory and stochastic processes (60-XX) 46 Statistics (62-XX) 43 Category theory; homological algebra (18-XX) 36 General topology (54-XX) 26 Relativity and gravitational theory (83-XX) 25 General algebraic systems (08-XX) 22 Information and communication theory, circuits (94-XX) 20 Functional analysis (46-XX) 18 Geometry (51-XX) 15 Combinatorics (05-XX) 12 Group theory and generalizations (20-XX) 11 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) 6 Associative rings and algebras (16-XX) 6 Convex and discrete geometry (52-XX) 6 Numerical analysis (65-XX) 6 Systems theory; control (93-XX) 5 Number theory (11-XX) 5 Mechanics of particles and systems (70-XX) 5 Mathematics education (97-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 Differential geometry (53-XX) 3 Manifolds and cell complexes (57-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)