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,490 Publications (since 1972) References Indexed: 1,180 Publications with 30,796 References. all top 5 Latest Issues 53, No. 4 (2024) 53, No. 3 (2024) 53, No. 2 (2024) 53, No. 1 (2024) 52, No. 6 (2023) 52, No. 5 (2023) 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) ...and 122 more Volumes all top 5 Authors 16 Fine, Kit 14 Priest, Graham 13 van Benthem, Johan F. A. K. 12 Hansson, Sven Ove 12 Wansing, Heinrich Theodor 11 Meyer, Robert Kenneth 10 Humberstone, Lloyd 9 Brady, Ross Thomas 9 Égré, Paul 9 Kremer, Philip 8 Leitgeb, Hannes 8 Méndez, José M. 8 Restall, Greg 8 Rossi, Lorenzo Paolo 8 van Fraassen, Bas C. 7 Bacon, Andrew 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 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 Sylvan, Richard 6 Tennant, Neil W. 5 Adams, Ernest Wilcox 5 Åqvist, Lennart 5 Boolos, George S. 5 Correia, Fabrice 5 Fan, Jie 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 Tedder, Andrew 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 Ferguson, Thomas Macaulay 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 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 ...and 1,016 more Authors all top 5 Fields 1,458 Mathematical logic and foundations (03-XX) 69 Computer science (68-XX) 46 Probability theory and stochastic processes (60-XX) 37 Quantum theory (81-XX) 35 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 29 General and overarching topics; collections (00-XX) 22 History and biography (01-XX) 21 Order, lattices, ordered algebraic structures (06-XX) 10 Category theory; homological algebra (18-XX) 9 Statistics (62-XX) 8 General topology (54-XX) 5 Functional analysis (46-XX) 5 Operator theory (47-XX) 5 Geometry (51-XX) 4 Measure and integration (28-XX) 4 Mechanics of particles and systems (70-XX) 3 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,107 Publications have been cited 9,505 times in 5,234 Documents Cited by ▼ Year ▼ The logic of paradox. Zbl 0402.03012 Priest, Graham 267 1979 Two modellings for theory change. Zbl 0639.03025 Grove, Adam 213 1988 Modal languages and bounded fragments of predicate logic. Zbl 0919.03013 Andréka, Hajnal; Németi, István; van Benthem, Johan 146 1998 Proof analysis in modal logic. Zbl 1086.03045 Negri, Sara 111 2005 Tolerant, classical, strict. Zbl 1243.03038 Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert 100 2012 Semantic analysis of orthologic. Zbl 0278.02023 Goldblatt, R. I. 98 1974 Defaults in update semantics. Zbl 0860.03025 Veltman, Frank 96 1996 Counterfactuals and comparative possibility. Zbl 0272.02048 Lewis, David 91 1973 Display logic. Zbl 0509.03008 Belnap, Nuel D. jun. 82 1982 Truth and paradox. Zbl 0512.03002 Gupta, Anil 80 1982 Merging frameworks for interaction. Zbl 1185.03019 van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric 76 2009 Inquisitive logic. Zbl 1214.03019 Ciardelli, Ivano; Roelofsen, Floris 71 2011 Hedges: A study in meaning criteria and the logic of fuzzy concepts. Zbl 0272.02047 Lakoff, George 70 1973 The semantics of entailment. III. Zbl 0317.02019 Routley, Richard; Meyer, Robert K. 67 1972 The semantics of entailment. II. Zbl 0317.02018 Routley, Richard; Meyer, Robert K. 64 1972 Basic conditional logic. Zbl 0317.02029 Chellas, Brian F. 63 1975 Notes on naive semantics. Zbl 0513.03003 Herzberger, Hans G. 63 1982 Modal logic with names. Zbl 0793.03012 Gargov, George; Goranko, Valentin 60 1993 Impossible possible worlds vindicated. Zbl 0334.02003 Hintikka, Jaakko 56 1975 Two-dimensional modal logic. Zbl 0259.02013 Segerberg, Krister 54 1973 On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008 Makinson, David 53 1987 Theory contraction through base contraction. Zbl 0723.03010 Fuhrmann, André 51 1991 Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012 Shramko, Yaroslav; Wansing, Heinrich 51 2005 The deliberative stit: A study of action, omission, ability, and obligation. Zbl 0846.03001 Horty, John F.; Belnap, Nuel 51 1995 Input/output logics. Zbl 0964.03002 Makinson, David; van der Torre, Leendert 51 2000 Angellic content. Zbl 1392.03030 Fine, Kit 50 2016 Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009 van Benthem, Johan; Girard, Patrick; Roy, Olivier 49 2009 Logical constraints on judgement aggregation. Zbl 1108.03009 Pauly, Marc; van Hees, Martin 48 2006 Models for entailment. Zbl 0296.02013 Fine, Kit 46 1974 Iterated revision and minimal change of conditional beliefs. Zbl 0858.03030 Boutilier, Craig 46 1996 Measuring inconsistency. Zbl 1003.03022 Knight, Kevin 45 2002 What is a syllogism? Zbl 0259.02005 Smiley, T. J. 43 1973 What truth depends on. Zbl 1097.03005 Leitgeb, Hannes 41 2005 AGM 25 years. Twenty-five years of research in belief change. Zbl 1227.03002 Fermé, Eduardo; Hansson, Sven Ove 41 2011 What is classical mereology? Zbl 1171.03002 Hovda, Paul 38 2009 Ordering semantics and premise semantics for counterfactuals. Zbl 0473.03015 Lewis, David 37 1981 General-elimination harmony and the meaning of the logical constants. Zbl 1207.03015 Read, Stephen 36 2010 Reversing the Levi identity. Zbl 0788.03033 Hansson, Sven Ove 36 1993 Nothing but the truth. Zbl 1269.03027 Pietz, Andreas; Rivieccio, Umberto 36 2013 How truthlike can a predicate be? A negative result. Zbl 0583.03002 McGee, Vann 36 1985 The modal logic of provability. The sequential approach. Zbl 0523.03014 Sambin, Giovanni; Valentini, Silvio 36 1982 Region-based topology. Zbl 0873.54001 Roeper, Peter 35 1997 The logics of strict-tolerant logic. Zbl 1350.03007 Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego 34 2015 Truth-maker semantics for intuitionistic logic. Zbl 1335.03011 Fine, Kit 34 2014 A hierarchy of classical and paraconsistent logics. Zbl 1471.03053 Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian 32 2020 Harmony and autonomy in classical logic. Zbl 0947.03008 Read, Stephen 32 2000 Logic based merging. Zbl 1233.03024 Konieczny, Sébastien; Pino Pérez, Ramón 32 2011 Modal tableau calculi and interpolation. Zbl 0547.03015 Rautenberg, Wolfgang 32 1983 Four valued semantics and the Liar. Zbl 0546.03007 Visser, Albert 31 1984 Language in action. Zbl 0743.03018 van Benthem, Johan 30 1991 Severe withdrawal (and recovery). Zbl 0934.03024 Rott, Hans; Pagnucco, Maurice 30 1999 On the logic of ability. Zbl 0653.03003 Brown, Mark A. 29 1988 Logical consequence and the paradoxes. Zbl 1302.03021 Mares, Edwin; Paoli, Francesco 29 2014 Moral dilemmas and nonmonotonic logic. Zbl 0796.03035 Horty, John F. 29 1994 Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus. Zbl 1067.03032 Brown, Bryson; Priest, Graham 29 2004 Constructions, proofs and the meaning of logical constants. Zbl 0539.03038 Sundholm, Göran 29 1983 Some remarks on extending and interpreting theories with a partial predicate for truth. Zbl 0629.03002 Reinhardt, William N. 28 1986 Constraints for input/output logics. Zbl 0993.03039 Makinson, David; van der Torre, Leendert 28 2001 On logics with coimplication. Zbl 0976.03020 Wolter, Frank 28 1998 Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008 Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas 27 2008 Stochastic independence, causal independence, and shieldability. Zbl 0436.60004 Spohn, Wolfgang 27 1980 Bilattices and the theory of truth. Zbl 0678.03028 Fitting, Melvin 26 1989 Conditionals right and left: probabilities for the whole family. Zbl 1171.03010 Kaufmann, Stefan 26 2009 On the logic of demonstratives. Zbl 0415.03004 Kaplan, David 26 1979 The liar paradox. Zbl 0296.02001 Parsons, Charles 26 1974 From worlds to possibilities. Zbl 0481.03011 Humberstone, I. L. 26 1981 Truth and reflection. Zbl 0588.03002 Yablo, Stephen 26 1985 The logic of conditional obligation. Comments by Harry Beatty. Zbl 0246.02015 van Fraassen, Bas C. 25 1972 On the logic of nonmonotonic conditionals and conditional probabilities. Zbl 0854.03019 Hawthorne, James 25 1996 Fine-grained opinion, probability, and the logic of full belief. Zbl 0825.03015 van Fraassen, Bas C. 25 1995 Paraconsistent logics? Zbl 0830.03002 Slater, B. H. 25 1995 Permission from an input/output perspective. Zbl 1028.03017 Makinson, David; van der Torre, Leendert 25 2003 On extensions of intermediate logics by strong negation. Zbl 0929.03035 Kracht, Marcus 25 1998 Simplified semantics for basic relevant logics. Zbl 0782.03008 Priest, Graham; Sylvan, Richard 24 1992 Two methods of constructing contractions and revisions of knowledge systems. Zbl 0723.03009 Rott, Hans 24 1991 Intervals and tenses. Zbl 0451.03007 Röper, Peter 24 1980 A revenge-immune solution to the semantic paradoxes. Zbl 1026.03009 Field, Hartry 24 2003 A note on harmony. Zbl 1247.03005 Francez, Nissim; Dyckhoff, Roy 24 2012 A theory of truthmaker content. I: Conjunction, disjunction and negation. Zbl 1417.03061 Fine, Kit 24 2017 HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). Zbl 1457.03057 Leitgeb, Hannes 24 2019 Maximal consistent sets of instances of Tarski’s schema (T). Zbl 0773.03003 McGee, Vann 23 1992 Semantics for quantified relevance logic. Zbl 0646.03013 Fine, Kit 23 1988 Qualitative probability as an intensional logic. Zbl 0317.02030 Gärdenfors, Peter 23 1975 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 23 2012 Grounding, dependence, and paradox. Zbl 0519.03019 Yablo, Steve 23 1982 Classical logic and the strict tolerant hierarchy. Zbl 1484.03039 Scambler, Chris 22 2020 Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022 Reyes, Gonzalo E.; Zolfaghari, Houman 22 1996 Why conclusions should remain single. Zbl 1233.03016 Steinberger, Florian 22 2011 Axioms for deliberative stit. Zbl 0917.03007 Xu, Ming 22 1998 Kripke and the logic of truth. Zbl 0653.03002 Kremer, Michael 21 1988 Relevant restricted quantification. Zbl 1111.03020 Beall, Jc; Brady, Ross T.; Hazen, A. P.; Priest, Graham; Restall, Greg 21 2006 Contradictory information: too much of a good thing. Zbl 1207.03032 Dunn, J. Michael 21 2010 Conditional probability and defeasible inference. Zbl 1082.03023 Arló Costa, Horacio; Parikh, Rohit 21 2005 Logics of nonsense and Parry systems. Zbl 1318.03036 Ferguson, Thomas Macaulay 21 2015 Propositional reasoning that tracks probabilistic reasoning. Zbl 1272.03032 Lin, Hanti; Kelly, Kevin T. 21 2012 Combinatorial bitstring semantics for arbitrary logical fragments. Zbl 1436.03110 Demey, Lorenz; Smessaert, Hans 21 2018 Representational of conditional probabilities. Zbl 0341.60029 van Fraassen, Bas C. 20 1976 A finite axiomatization of the set of strongly valid Ockhamist formulas. Zbl 0579.03015 Zanardo, Alberto 20 1985 Naive modus ponens. Zbl 1315.03012 Zardini, Elia 19 2013 Efficient reasoning about rich temporal domains. Zbl 0662.03014 Shoham, Yoav 19 1988 Logical multilateralism. Zbl 07785158 Wansing, Heinrich; Ayhan, Sara 3 2023 The logic of framing effects. Zbl 07695109 Berto, Francesco; Özgün, Aybüke 2 2023 A semantics for the impure logic of ground. Zbl 07677861 deRosset, Louis; Fine, Kit 1 2023 Determining maximal entropy functions for objective Bayesian inductive logic. Zbl 07677864 Landes, Juergen; Rafiee Rad, Soroush; Williamson, Jon 1 2023 Awareness as potential for knowledge. Zbl 07677867 Song, Pengfei; Xiong, Wei 1 2023 Grounding generalizations. Zbl 07695105 Goodman, Jeremy 1 2023 Varieties of self-reference in metamathematics. Zbl 07721414 Grabmayr, Balthasar; Halbach, Volker; Ye, Lingyuan 1 2023 A logical modeling of severe ignorance. Zbl 07721415 Bonzio, S.; Fano, V.; Graziani, P.; Pra Baldi, M. 1 2023 Solutions to the knower paradox in the light of Haack’s criteria. Zbl 07721417 de Vos, Mirjam; Verbrugge, Rineke; Kooi, Barteld 1 2023 Consistent theories in inconsistent logics. Zbl 07721418 Mangraviti, Franci; Tedder, Andrew 1 2023 Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals. Zbl 07785160 Ferguson, Thomas Macaulay 1 2023 Arbitrary public announcement logic with memory. Zbl 1539.03047 Baltag, Alexandru; Özgün, Aybüke; Sandoval, Ana Lucia Vargas 1 2023 Neighbourhood semantics for modal relevant logics. Zbl 1539.03087 Ferenz, Nicholas; Tedder, Andrew 1 2023 Rewriting the history of connexive logic. Zbl 07535471 Lenzen, Wolfgang 6 2022 On the logical form of concessive conditionals. Zbl 07535475 Crupi, Vincenzo; Iacona, Andrea 5 2022 Neighbourhood semantics for quantified relevant logics. Zbl 07535469 Tedder, Andrew; Ferenz, Nicholas 4 2022 What is a relevant connective? Zbl 1511.03005 Standefer, Shawn 4 2022 Non-reflexivity and revenge. Zbl 07484060 Murzi, Julien; Rossi, Lorenzo 4 2022 Selective base revisions. Zbl 07484053 Garapa, Marco 3 2022 Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism. Zbl 07484054 Schurz, Gerhard 3 2022 Falsification-aware semantics and sequent calculi for classical logic. Zbl 07484057 Kamide, Norihiro 3 2022 Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach. Zbl 07644285 Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca 3 2022 Valuation semantics for first-order logics of evidence and truth. Zbl 07595246 Antunes, H.; Rodrigues, A.; Carnielli, W.; Coniglio, M. E. 2 2022 Validities, antivalidities and contingencies: a multi-standard approach. Zbl 07484056 Barrio, Eduardo; Pailos, Federico 2 2022 Arithmetic is determinate. Zbl 07484058 Goodsell, Zachary 2 2022 Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates. Zbl 07644280 Golan, Rea 2 2022 Empty logics. Zbl 07644284 Pailos, Federico 2 2022 Derivability and metainferential validity. Zbl 07644288 Da Ré, Bruno; Szmuc, Damian; Teijeiro, Paula 2 2022 Ideal objects for set theory. Zbl 07535473 Jockwich, Santiago; Tarafder, Sourav; Venturi, Giorgio 1 2022 How to prove Hume’s law. Zbl 07535474 Russell, Gillian 1 2022 Acceptance and certainty, doxastic modals, and indicative conditionals. Zbl 07595240 Norlin, Kurt 1 2022 Revisiting McGee’s probabilistic analysis of conditionals. Zbl 07595241 Cantwell, John 1 2022 Single-assumption systems in proof-theoretic semantics. Zbl 07595242 Ceragioli, Leonardo 1 2022 A theory of necessities. Zbl 07484059 Bacon, Andrew; Zeng, Jin 1 2022 One step is enough. Zbl 07644278 Ripley, David 1 2022 Metainferential reasoning on strong Kleene models. Zbl 07644281 Fjellstad, Andreas 1 2022 Depth relevance and hyperformalism. Zbl 07557912 Logan, Shay Allen 1 2022 A simple logic of functional dependence. Zbl 1534.03027 Baltag, Alexandru; van Benthem, Johan 12 2021 De Finettian logics of indicative conditionals. I: Trivalent semantics and validity. Zbl 1535.03153 Égré, Paul; Rossi, Lorenzo; Sprenger, Jan 10 2021 Routley star and hyperintensionality. Zbl 1535.03171 Odintsov, Sergei; Wansing, Heinrich 10 2021 Team semantics for interventionist counterfactuals: observations vs. interventions. Zbl 1535.03166 Barbero, Fausto; Sandu, Gabriel 6 2021 Logical predictivism. Zbl 1535.03031 Martin, Ben; Hjortland, Ole 6 2021 Probabilities with gaps and gluts. Zbl 1534.03032 Klein, Dominik; Majer, Ondrej; Rad, Soroush Rafiee 6 2021 On negation for non-classical set theories. Zbl 1535.03253 Jockwich Martinez, S.; Venturi, G. 5 2021 A more unified approach to free logics. Zbl 1535.03173 Pavlović, Edi; Gratzl, Norbert 5 2021 A logic for disjunctive ignorance. Zbl 07437458 Fan, Jie 3 2021 Variable sharing in connexive logic. Zbl 07437462 Estrada-González, Luis; Tanús-Pimentel, Claudia Lucía 3 2021 Identity in Mares-Goldblatt models for quantified relevant logic. Zbl 1491.03018 Standefer, Shawn 3 2021 De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics. Zbl 1535.03154 Égré, Paul; Rossi, Lorenzo; Sprenger, Jan 3 2021 A system of axioms for Minkowski spacetime. Zbl 1473.03008 Cocco, Lorenzo; Babic, Joshua 3 2021 Towards a non-classical meta-theory for substructural approaches to paradox. Zbl 1534.03033 Rosenblatt, Lucas 3 2021 Can all things be counted? Zbl 1534.03052 Scambler, Chris 3 2021 On the logic of belief and propositional quantification. Zbl 1534.03024 Ding, Yifeng 3 2021 Counterlogicals as counterconventionals. Zbl 07413733 Kocurek, Alexander W.; Jerzak, Ethan J. 2 2021 Opaque updates. Zbl 1535.03078 Cohen, Michael 2 2021 What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics. Zbl 1535.03261 Ayhan, Sara 2 2021 Closed structure. Zbl 07437457 Fritz, Peter; Lederman, Harvey; Uzquiano, Gabriel 2 2021 A family of strict/tolerant logics. Zbl 1496.03099 Fitting, Melvin 2 2021 Proof-theoretic semantics and inquisitive logic. Zbl 1485.03232 Stafford, Will 2 2021 Plurals and mereology. Zbl 1535.03023 Florio, Salvatore; Nicolas, David 1 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 Unwinding modal paradoxes on digraphs. Zbl 1535.03114 Hsiung, Ming 1 2021 Agential free choice. Zbl 1535.03024 Fusco, Melissa 1 2021 A hierarchy of classical and paraconsistent logics. Zbl 1471.03053 Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian 32 2020 Classical logic and the strict tolerant hierarchy. Zbl 1484.03039 Scambler, Chris 22 2020 The fundamental problem of logical omniscience. Zbl 1485.03038 Hawke, Peter; Özgün, Aybüke; Berto, Francesco 7 2020 Intuitionistic non-normal modal logics: a general framework. Zbl 1485.03047 Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola 7 2020 Inferences and metainferences in \(\mathsf{ST}\). Zbl 1485.03059 Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert 6 2020 Revising probabilities and full beliefs. Zbl 1485.03037 Hansson, Sven Ove 5 2020 Transfinite meta-inferences. Zbl 1485.03055 Scambler, Chris 5 2020 Explicating logical independence. Zbl 1484.03003 Humberstone, Lloyd 4 2020 Truthmaker semantics for relevant logic. Zbl 1485.03052 Jago, Mark 4 2020 Intuitionistic conditional logics. Zbl 1485.03018 Ciardelli, Ivano; Liu, Xinghan 4 2020 Reference and truth. Zbl 1484.03009 Picollo, Lavinia 4 2020 A relevant logic of questions. Zbl 1485.03054 Punčochář, Vít 4 2020 Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion. Zbl 1485.03060 Kamide, Norihiro 4 2020 Substitution contradiction, its resolution and the Church-Rosser theorem in TIL. Zbl 1484.03006 Kosterec, Miloš 3 2020 Forcing and the universe of sets: must we lose insight? Zbl 1485.03215 Barton, Neil 3 2020 Alethic reference. Zbl 1484.03127 Picollo, Lavinia 3 2020 Indicative conditionals and graded information. Zbl 1476.03012 Ciardelli, Ivano 3 2020 Formalizing Kant’s rules. A logic of conditional imperatives and permissives. Zbl 1485.03014 Evans, R.; Sergot, M.; Stephenson, A. 2 2020 Intuitionism and the modal logic of vagueness. Zbl 1476.03032 Bobzien, Susanne; Rumfitt, Ian 2 2020 Euler-type diagrams and the quantification of the predicate. Zbl 1484.03007 Lemanski, Jens 2 2020 Relative necessity and propositional quantification. Zbl 1485.03050 Roberts, Alexander 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 HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). Zbl 1457.03057 Leitgeb, Hannes 24 2019 Negation on the Australian plan. Zbl 1457.03007 Berto, Francesco; Restall, Greg 13 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 10 2019 A topological approach to full belief. Zbl 1457.03030 Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja 9 2019 A dynamic solution to the problem of logical omniscience. Zbl 1457.03008 Bjerring, Jens Christian; Skipper, Mattias 9 2019 A calculus of regions respecting both measure and topology. Zbl 1457.28001 Lando, Tamar; Scott, Dana 7 2019 Bimodal logics with contingency and accident. Zbl 1509.03069 Fan, Jie 7 2019 Symmetric contingency logic with unlimitedly many modalities. Zbl 1457.03040 Fan, Jie 6 2019 Basic intuitionistic conditional logic. Zbl 1457.03047 Weiss, Yale 5 2019 ...and 1007 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,404 Authors 47 van Benthem, Johan F. A. K. 46 Wansing, Heinrich Theodor 37 Hansson, Sven Ove 32 Kamide, Norihiro 25 Priest, Graham 23 Baltag, Alexandru 23 Égré, Paul 23 Humberstone, Lloyd 23 Petrukhin, Yaroslav Igorevich 23 Smets, Sonja J. L. 23 van Ditmarsch, Hans Pieter 22 Leitgeb, Hannes 22 Lorini, Emiliano 22 Paris, Jeffrey Bruce 22 Schurz, Gerhard 21 Gabbay, Dov M. 21 Méndez, José M. 21 Ripley, David 21 Robles, Gemma 20 Mares, Edwin D. 20 Restall, Greg 19 Brady, Ross Thomas 19 Pacuit, Eric 19 Wang, Yanjing 18 Dunn, Jon Michael 18 Rott, Hans 17 Fine, Kit 17 Montanari, Angelo 17 Negri, Sara 17 Shapiro, Stewart 17 Shramko, Yaroslav V. 16 Avron, Arnon 16 Demey, Lorenz 16 Ferguson, Thomas Macaulay 16 Fermé, Eduardo Leopoldo 16 Francez, Nissim 16 Grant, John R. 16 Pailos, Federico Matias 16 Palmigiano, Alessandra 16 Sano, Katsuhiko 16 ten Cate, Balder David 16 van der Torre, Leendert W. N. 15 Bimbó, Katalin 15 Carrara, Massimiliano 15 Dietrich, Franz K. 15 Dubois, Didier 15 Peron, Adriano 15 Standefer, Shawn 14 Bezhanishvili, Nick 14 Fritz, Peter 14 Goranko, Valentin F. 14 Horsten, Leon 14 Kurahashi, Taishi 14 Omori, Hitoshi 14 Reis, Maurício D. L. 14 Szmuc, Damian Enrique 13 Arieli, Ofer 13 Bonanno, Giacomo 13 Booth, Richard F. 13 Broersen, Jan M. 13 Halbach, Volker 13 Kern-Isberner, Gabriele 13 Paoli, Francesco 13 Peppas, Pavlos 13 Sanfilippo, Giuseppe 13 Tennant, Neil W. 13 Vencovská, Alena 12 Barrio, Eduardo Alejandro 12 Blackburn, Patrick 12 Bozzelli, Laura 12 Ciardelli, Ivano A. 12 Delgrande, James P. 12 Douven, Igor 12 French, Rohan 12 Goré, Rajeev Prabhakar 12 Landes, Jürgen 12 List, Christian 12 Makinson, David Clement 12 Pino Pérez, Ramón 12 Prade, Henri M. 12 Pratt-Hartmann, Ian 12 Punčochář, Vít 12 Rossi, Lorenzo Paolo 12 Segerberg, Krister 12 Vakarelov, Dimiter 12 van Rooy, Robert 12 Visser, Albert 12 Weber, Zach 12 Wiśniewski, Andrzej 11 Bezhanishvili, Guram 11 Estrada-González, Luis 11 Falappa, Marcelo Alejandro 11 Frittella, Sabine 11 Godo, Lluís 11 Gratzl, Norbert 11 Halpern, Joseph Yehuda 11 Indrzejczak, Andrzej 11 Jago, Mark 11 Liu, Fenrong 11 Meyer, Robert Kenneth ...and 3,304 more Authors all top 5 Cited in 207 Journals 750 Journal of Philosophical Logic 561 Synthese 438 Studia Logica 269 The Review of Symbolic Logic 164 Notre Dame Journal of Formal Logic 164 Journal of Logic, Language and Information 151 Artificial Intelligence 129 Journal of Applied Non-Classical Logics 124 The Journal of Symbolic Logic 107 Annals of Pure and Applied Logic 99 Erkenntnis 95 Logic and Logical Philosophy 86 International Journal of Approximate Reasoning 84 Logica Universalis 82 Journal of Applied Logic 77 History and Philosophy of Logic 71 Nôus 52 Annals of Mathematics and Artificial Intelligence 46 The Bulletin of Symbolic Logic 45 Theoretical Computer Science 42 Fuzzy Sets and Systems 40 International Journal of Theoretical Physics 31 Bulletin of the Section of Logic 31 Topoi 30 Mathematical Logic Quarterly (MLQ) 25 Archive for Mathematical Logic 23 Information and Computation 21 Information Sciences 21 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 20 ACM Transactions on Computational Logic 20 Foundations of Physics 19 Theory and Decision 19 Social Choice and Welfare 17 Algebra Universalis 16 Journal of Economic Theory 16 Logical Methods in Computer Science 15 Journal of Automated Reasoning 14 Soft Computing 14 Logicheskie Issledovaniya 13 Journal of Mathematical Psychology 13 Mathematical Social Sciences 11 Journal of Logical and Algebraic Methods in Programming 10 The Journal of Artificial Intelligence Research (JAIR) 10 Foundations of Science 9 International Journal of General Systems 9 Journal of Computer and System Sciences 8 Games and Economic Behavior 7 Algebra and Logic 7 Linguistics and Philosophy 7 Siberian Mathematical Journal 7 Formal Aspects of Computing 7 Mathematical Structures in Computer Science 7 Indagationes Mathematicae. New Series 6 Information Processing Letters 6 Journal of Mathematical Physics 6 International Journal of Intelligent Systems 6 Historia Mathematica 6 Theory and Practice of Logic Programming 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 Games 4 Kybernetika 4 Topology and its Applications 4 Journal of Symbolic Computation 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 International Studies in the Philosophy of Science 4 Quantum Studies: Mathematics and Foundations 3 Discrete Mathematics 3 Reports on Mathematical Physics 3 Applied Mathematics and Computation 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Duke Mathematical Journal 3 Journal of Mathematical Economics 3 Journal of Optimization Theory and Applications 3 Journal of Pure and Applied Algebra 3 Kybernetes 3 Semigroup Forum 3 Annals of Operations Research 3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 3 Russian Mathematics 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 Lithuanian Mathematical Journal 2 Physica A 2 Journal of Geometry 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 ...and 107 more Journals all top 5 Cited in 49 Fields 4,550 Mathematical logic and foundations (03-XX) 1,030 Computer science (68-XX) 259 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 177 General and overarching topics; collections (00-XX) 175 Quantum theory (81-XX) 174 History and biography (01-XX) 161 Order, lattices, ordered algebraic structures (06-XX) 118 Probability theory and stochastic processes (60-XX) 64 Statistics (62-XX) 62 Category theory; homological algebra (18-XX) 47 General topology (54-XX) 33 Relativity and gravitational theory (83-XX) 28 General algebraic systems (08-XX) 28 Information and communication theory, circuits (94-XX) 23 Functional analysis (46-XX) 21 Geometry (51-XX) 16 Combinatorics (05-XX) 14 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 Convex and discrete geometry (52-XX) 7 Associative rings and algebras (16-XX) 7 Real functions (26-XX) 7 Biology and other natural sciences (92-XX) 6 Number theory (11-XX) 6 Numerical analysis (65-XX) 6 Mechanics of particles and systems (70-XX) 6 Systems theory; control (93-XX) 4 Differential geometry (53-XX) 3 Algebraic topology (55-XX) 3 Manifolds and cell complexes (57-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Statistical mechanics, structure of matter (82-XX) 3 Mathematics education (97-XX) 2 Commutative algebra (13-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) 2 Optics, electromagnetic theory (78-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Topological groups, Lie groups (22-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Difference and functional equations (39-XX) 1 Astronomy and astrophysics (85-XX) 1 Geophysics (86-XX) Citations by Year