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,463 Publications (since 1972) References Indexed: 1,153 Publications with 29,725 References. all top 5 Latest Issues 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) 36, No. 5 (2007) 36, No. 4 (2007) 36, No. 3 (2007) ...and 119 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 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 Rossi, Lorenzo Paolo 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 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 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 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 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 ...and 993 more Authors all top 5 Fields 1,432 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) 27 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,083 Publications have been cited 8,983 times in 4,961 Documents Cited by ▼ Year ▼ The logic of paradox. Zbl 0402.03012 Priest, Graham 259 1979 Two modellings for theory change. Zbl 0639.03025 Grove, Adam 209 1988 Modal languages and bounded fragments of predicate logic. Zbl 0919.03013 Andréka, Hajnal; Németi, István; van Benthem, Johan 126 1998 Proof analysis in modal logic. Zbl 1086.03045 Negri, Sara 102 2005 Tolerant, classical, strict. Zbl 1243.03038 Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert 95 2012 Semantic analysis of orthologic. Zbl 0278.02023 Goldblatt, R. I. 93 1974 Counterfactuals and comparative possibility. Zbl 0272.02048 Lewis, David 90 1973 Defaults in update semantics. Zbl 0860.03025 Veltman, Frank 89 1996 Truth and paradox. Zbl 0512.03002 Gupta, Anil 78 1982 Merging frameworks for interaction. Zbl 1185.03019 van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric 75 2009 Display logic. Zbl 0509.03008 Belnap, Nuel D. jun. 72 1982 Hedges: A study in meaning criteria and the logic of fuzzy concepts. Zbl 0272.02047 Lakoff, George 69 1973 Inquisitive logic. Zbl 1214.03019 Ciardelli, Ivano; Roelofsen, Floris 67 2011 The semantics of entailment. III. Zbl 0317.02019 Routley, Richard; Meyer, Robert K. 65 1972 Notes on naive semantics. Zbl 0513.03003 Herzberger, Hans G. 63 1982 The semantics of entailment. II. Zbl 0317.02018 Routley, Richard; Meyer, Robert K. 62 1972 Basic conditional logic. Zbl 0317.02029 Chellas, Brian F. 58 1975 Modal logic with names. Zbl 0793.03012 Gargov, George; Goranko, Valentin 56 1993 Impossible possible worlds vindicated. Zbl 0334.02003 Hintikka, Jaakko 55 1975 Two-dimensional modal logic. Zbl 0259.02013 Segerberg, Krister 53 1973 On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008 Makinson, David 52 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 50 2005 Input/output logics. Zbl 0964.03002 Makinson, David; van der Torre, Leendert 49 2000 The deliberative stit: A study of action, omission, ability, and obligation. Zbl 0846.03001 Horty, John F.; Belnap, Nuel 48 1995 Logical constraints on judgement aggregation. Zbl 1108.03009 Pauly, Marc; van Hees, Martin 48 2006 Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009 van Benthem, Johan; Girard, Patrick; Roy, Olivier 48 2009 Iterated revision and minimal change of conditional beliefs. Zbl 0858.03030 Boutilier, Craig 45 1996 Models for entailment. Zbl 0296.02013 Fine, Kit 44 1974 Angellic content. Zbl 1392.03030 Fine, Kit 44 2016 Measuring inconsistency. Zbl 1003.03022 Knight, Kevin 44 2002 What is a syllogism? Zbl 0259.02005 Smiley, T. J. 41 1973 What truth depends on. Zbl 1097.03005 Leitgeb, Hannes 40 2005 AGM 25 years. Twenty-five years of research in belief change. Zbl 1227.03002 Fermé, Eduardo; Hansson, Sven Ove 37 2011 What is classical mereology? Zbl 1171.03002 Hovda, Paul 36 2009 Ordering semantics and premise semantics for counterfactuals. Zbl 0473.03015 Lewis, David 35 1981 How truthlike can a predicate be? A negative result. Zbl 0583.03002 McGee, Vann 34 1985 Reversing the Levi identity. Zbl 0788.03033 Hansson, Sven Ove 34 1993 The logics of strict-tolerant logic. Zbl 1350.03007 Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego 34 2015 General-elimination harmony and the meaning of the logical constants. Zbl 1207.03015 Read, Stephen 34 2010 Nothing but the truth. Zbl 1269.03027 Pietz, Andreas; Rivieccio, Umberto 34 2013 The modal logic of provability. The sequential approach. Zbl 0523.03014 Sambin, Giovanni; Valentini, Silvio 33 1982 Region-based topology. Zbl 0873.54001 Roeper, Peter 33 1997 Modal tableau calculi and interpolation. Zbl 0547.03015 Rautenberg, Wolfgang 32 1983 Truth-maker semantics for intuitionistic logic. Zbl 1335.03011 Fine, Kit 32 2014 A hierarchy of classical and paraconsistent logics. Zbl 1471.03053 Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian 32 2020 Four valued semantics and the Liar. Zbl 0546.03007 Visser, Albert 31 1984 Harmony and autonomy in classical logic. Zbl 0947.03008 Read, Stephen 31 2000 Logic based merging. Zbl 1233.03024 Konieczny, Sébastien; Pino Pérez, Ramón 30 2011 Language in action. Zbl 0743.03018 van Benthem, Johan 30 1991 Severe withdrawal (and recovery). Zbl 0934.03024 Rott, Hans; Pagnucco, Maurice 29 1999 Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus. Zbl 1067.03032 Brown, Bryson; Priest, Graham 29 2004 Logical consequence and the paradoxes. Zbl 1302.03021 Mares, Edwin; Paoli, Francesco 29 2014 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 Moral dilemmas and nonmonotonic logic. Zbl 0796.03035 Horty, John F. 28 1994 On logics with coimplication. Zbl 0976.03020 Wolter, Frank 27 1998 Stochastic independence, causal independence, and shieldability. Zbl 0436.60004 Spohn, Wolfgang 27 1980 On the logic of ability. Zbl 0653.03003 Brown, Mark A. 26 1988 Bilattices and the theory of truth. Zbl 0678.03028 Fitting, Melvin 26 1989 The liar paradox. Zbl 0296.02001 Parsons, Charles 26 1974 Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008 Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas 26 2008 Some remarks on extending and interpreting theories with a partial predicate for truth. Zbl 0629.03002 Reinhardt, William N. 25 1986 The logic of conditional obligation. Comments by Harry Beatty. Zbl 0246.02015 van Fraassen, Bas C. 25 1972 Truth and reflection. Zbl 0588.03002 Yablo, Stephen 25 1985 Permission from an input/output perspective. Zbl 1028.03017 Makinson, David; van der Torre, Leendert 25 2003 A note on harmony. Zbl 1247.03005 Francez, Nissim; Dyckhoff, Roy 24 2012 On extensions of intermediate logics by strong negation. Zbl 0929.03035 Kracht, Marcus 24 1998 Fine-grained opinion, probability, and the logic of full belief. Zbl 0825.03015 van Fraassen, Bas C. 24 1995 On the logic of nonmonotonic conditionals and conditional probabilities. Zbl 0854.03019 Hawthorne, James 24 1996 Simplified semantics for basic relevant logics. Zbl 0782.03008 Priest, Graham; Sylvan, Richard 24 1992 On the logic of demonstratives. Zbl 0415.03004 Kaplan, David 24 1979 Conditionals right and left: probabilities for the whole family. Zbl 1171.03010 Kaufmann, Stefan 24 2009 From worlds to possibilities. Zbl 0481.03011 Humberstone, I. L. 23 1981 Grounding, dependence, and paradox. Zbl 0519.03019 Yablo, Steve 23 1982 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 Paraconsistent logics? Zbl 0830.03002 Slater, B. H. 23 1995 Qualitative probability as an intensional logic. Zbl 0317.02030 Gärdenfors, Peter 22 1975 Two methods of constructing contractions and revisions of knowledge systems. Zbl 0723.03009 Rott, Hans 22 1991 A revenge-immune solution to the semantic paradoxes. Zbl 1026.03009 Field, Hartry 22 2003 Classical logic and the strict tolerant hierarchy. Zbl 1484.03039 Scambler, Chris 22 2020 Semantics for quantified relevance logic. Zbl 0646.03013 Fine, Kit 21 1988 Kripke and the logic of truth. Zbl 0653.03002 Kremer, Michael 21 1988 Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022 Reyes, Gonzalo E.; Zolfaghari, Houman 21 1996 Axioms for deliberative stit. Zbl 0917.03007 Xu, Ming 21 1998 Relevant restricted quantification. Zbl 1111.03020 Beall, Jc; Brady, Ross T.; Hazen, A. P.; Priest, Graham; Restall, Greg 21 2006 Conditional probability and defeasible inference. Zbl 1082.03023 Arló Costa, Horacio; Parikh, Rohit 21 2005 Maximal consistent sets of instances of Tarski’s schema (T). Zbl 0773.03003 McGee, Vann 21 1992 Why conclusions should remain single. Zbl 1233.03016 Steinberger, Florian 20 2011 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 Contradictory information: too much of a good thing. Zbl 1207.03032 Dunn, J. Michael 20 2010 Efficient reasoning about rich temporal domains. Zbl 0662.03014 Shoham, Yoav 19 1988 A contextual-hierarchical approach to truth and the liar paradox. Zbl 1048.03005 Glanzberg, Michael 19 2004 Socratic proofs. Zbl 1048.03009 Wiśniewski, Andrzej 19 2004 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 Naive modus ponens. Zbl 1315.03012 Zardini, Elia 19 2013 Propositional reasoning that tracks probabilistic reasoning. Zbl 1272.03032 Lin, Hanti; Kelly, Kevin T. 19 2012 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 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 Arbitrary public announcement logic with memory. Zbl 07657006 Baltag, Alexandru; Özgün, Aybüke; Sandoval, Ana Lucia Vargas 1 2023 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 The logic of framing effects. Zbl 07695109 Berto, Francesco; Özgün, Aybüke 1 2023 Non-reflexivity and revenge. Zbl 07484060 Murzi, Julien; Rossi, Lorenzo 4 2022 Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach. Zbl 07644285 Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca 3 2022 Selective base revisions. Zbl 07484053 Garapa, Marco 3 2022 Neighbourhood semantics for quantified relevant logics. Zbl 07535469 Tedder, Andrew; Ferenz, Nicholas 2 2022 On the logical form of concessive conditionals. Zbl 07535475 Crupi, Vincenzo; Iacona, Andrea 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 What is a relevant connective? Zbl 1511.03005 Standefer, Shawn 2 2022 Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism. Zbl 07484054 Schurz, Gerhard 2 2022 Validities, antivalidities and contingencies: a multi-standard approach. Zbl 07484056 Barrio, Eduardo; Pailos, Federico 2 2022 Falsification-aware semantics and sequent calculi for classical logic. Zbl 07484057 Kamide, Norihiro 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 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 Single-assumption systems in proof-theoretic semantics. Zbl 07595242 Ceragioli, Leonardo 1 2022 Valuation semantics for first-order logics of evidence and truth. Zbl 07595246 Antunes, H.; Rodrigues, A.; Carnielli, W.; Coniglio, M. E. 1 2022 Arithmetic is determinate. Zbl 07484058 Goodsell, Zachary 1 2022 A theory of necessities. Zbl 07484059 Bacon, Andrew; Zeng, Jin 1 2022 A simple logic of functional dependence. Zbl 07420139 Baltag, Alexandru; van Benthem, Johan 8 2021 Routley star and hyperintensionality. Zbl 07345775 Odintsov, Sergei; Wansing, Heinrich 7 2021 Logical predictivism. Zbl 07345738 Martin, Ben; Hjortland, Ole 6 2021 Probabilities with gaps and gluts. Zbl 07420143 Klein, Dominik; Majer, Ondrej; Rad, Soroush Rafiee 5 2021 De Finettian logics of indicative conditionals. I: Trivalent semantics and validity. Zbl 07345735 Égré, Paul; Rossi, Lorenzo; Sprenger, Jan 5 2021 A more unified approach to free logics. Zbl 07345779 Pavlović, Edi; Gratzl, Norbert 5 2021 On negation for non-classical set theories. Zbl 07365451 Jockwich Martinez, S.; Venturi, G. 4 2021 Towards a non-classical meta-theory for substructural approaches to paradox. Zbl 07420140 Rosenblatt, Lucas 3 2021 A logic for disjunctive ignorance. Zbl 07437458 Fan, Jie 3 2021 Team semantics for interventionist counterfactuals: observations vs. interventions. Zbl 07365449 Barbero, Fausto; Sandu, Gabriel 3 2021 Closed structure. Zbl 07437457 Fritz, Peter; Lederman, Harvey; Uzquiano, Gabriel 2 2021 Identity in Mares-Goldblatt models for quantified relevant logic. Zbl 1491.03018 Standefer, Shawn 2 2021 De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics. Zbl 07345736 Égré, Paul; Rossi, Lorenzo; Sprenger, Jan 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 Proof-theoretic semantics and inquisitive logic. Zbl 1485.03232 Stafford, Will 1 2021 Can all things be counted? Zbl 07420142 Scambler, Chris 1 2021 Unwinding modal paradoxes on digraphs. Zbl 07345739 Hsiung, Ming 1 2021 Plurals and mereology. Zbl 07365447 Florio, Salvatore; Nicolas, David 1 2021 Opaque updates. Zbl 07365448 Cohen, Michael 1 2021 What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics. Zbl 07365452 Ayhan, Sara 1 2021 Counterlogicals as counterconventionals. Zbl 07413733 Kocurek, Alexander W.; Jerzak, Ethan J. 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 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 Intuitionistic non-normal modal logics: a general framework. Zbl 1485.03047 Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola 6 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 Truthmaker semantics for relevant logic. Zbl 1485.03052 Jago, Mark 4 2020 Indicative conditionals and graded information. Zbl 1476.03012 Ciardelli, Ivano 3 2020 Alethic reference. Zbl 1484.03127 Picollo, Lavinia 3 2020 Reference and truth. Zbl 1484.03009 Picollo, Lavinia 3 2020 Forcing and the universe of sets: must we lose insight? Zbl 1485.03215 Barton, Neil 3 2020 The fundamental problem of logical omniscience. Zbl 1485.03038 Hawke, Peter; Özgün, Aybüke; Berto, Francesco 3 2020 A relevant logic of questions. Zbl 1485.03054 Punčochář, Vít 3 2020 Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion. Zbl 1485.03060 Kamide, Norihiro 3 2020 Substitution contradiction, its resolution and the Church-Rosser theorem in TIL. Zbl 1484.03006 Kosterec, Miloš 3 2020 Formalizing Kant’s rules. A logic of conditional imperatives and permissives. Zbl 1485.03014 Evans, R.; Sergot, M.; Stephenson, A. 2 2020 Explicating logical independence. Zbl 1484.03003 Humberstone, Lloyd 2 2020 Intuitionism and the modal logic of vagueness. Zbl 1476.03032 Bobzien, Susanne; Rumfitt, Ian 2 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 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 Free choice impossibility results. Zbl 1484.03035 Goldstein, Simon 1 2020 Euler-type diagrams and the quantification of the predicate. Zbl 1484.03007 Lemanski, Jens 1 2020 HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). Zbl 1457.03057 Leitgeb, Hannes 18 2019 Negation on the Australian plan. Zbl 1457.03007 Berto, Francesco; Restall, Greg 11 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 8 2019 A dynamic solution to the problem of logical omniscience. Zbl 1457.03008 Bjerring, Jens Christian; Skipper, Mattias 7 2019 Symmetric contingency logic with unlimitedly many modalities. Zbl 1457.03040 Fan, Jie 6 2019 Bimodal logics with contingency and accident. Zbl 1509.03069 Fan, Jie 6 2019 Six problems in pure inductive logic. Zbl 1457.03049 Paris, J. B.; Vencovská, A. 5 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 4 2019 Algebraic analysis of demodalised analytic implication. Zbl 1457.03078 Ledda, Antonio; Paoli, Francesco; Pra Baldi, Michele 4 2019 Implicit and explicit stances in logic. Zbl 1457.03035 van Benthem, Johan 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 harmony of identity. Zbl 1457.03068 Klev, Ansten 3 2019 Instability and contraction. Méditations hégéliennes. I. Zbl 1459.03006 Zardini, Elia 3 2019 Notes on stratified semantics. Zbl 1457.03048 Logan, Shay Allen 3 2019 Limits in the revision theory. More than just definite verdicts. Zbl 1457.03009 Campbell-Moore, Catrin 2 2019 Simplified tableaux for STIT imagination logic. Zbl 1457.03034 Olkhovikov, Grigory K.; Wansing, Heinrich 2 2019 Substitution structures. Zbl 1457.03028 Bacon, Andrew 2 2019 Basic intuitionistic conditional logic. Zbl 1457.03047 Weiss, Yale 2 2019 ...and 983 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,262 Authors 45 van Benthem, Johan F. A. K. 43 Wansing, Heinrich Theodor 37 Hansson, Sven Ove 31 Kamide, Norihiro 25 Priest, Graham 23 Égré, Paul 23 Humberstone, Lloyd 23 van Ditmarsch, Hans Pieter 22 Lorini, Emiliano 22 Paris, Jeffrey Bruce 22 Smets, Sonja J. L. 21 Baltag, Alexandru 21 Gabbay, Dov M. 21 Leitgeb, Hannes 21 Méndez, José M. 21 Ripley, David 21 Robles, Gemma 20 Mares, Edwin D. 20 Restall, Greg 20 Schurz, Gerhard 19 Brady, Ross Thomas 19 Pacuit, Eric 19 Petrukhin, Yaroslav Igorevich 19 Wang, Yanjing 18 Dunn, Jon Michael 17 Fine, Kit 17 Shramko, Yaroslav V. 16 Avron, Arnon 16 Demey, Lorenz 16 Francez, Nissim 16 Grant, John R. 16 Negri, Sara 16 Pailos, Federico Matias 16 Rott, Hans 15 Bimbó, Katalin 15 Carrara, Massimiliano 15 Dubois, Didier 15 Fermé, Eduardo Leopoldo 15 Palmigiano, Alessandra 14 Dietrich, Franz K. 14 Ferguson, Thomas Macaulay 14 Shapiro, Stewart 14 Standefer, Shawn 14 Szmuc, Damian Enrique 14 ten Cate, Balder David 14 van der Torre, Leendert W. N. 13 Arieli, Ofer 13 Bonanno, Giacomo 13 Booth, Richard F. 13 Goranko, Valentin F. 13 Kern-Isberner, Gabriele 13 Kurahashi, Taishi 13 Vencovská, Alena 12 Barrio, Eduardo Alejandro 12 Bezhanishvili, Nick 12 Blackburn, Patrick 12 Broersen, Jan M. 12 Ciardelli, Ivano A. 12 Douven, Igor 12 French, Rohan 12 Fritz, Peter 12 Halpern, Joseph Yehuda 12 Horsten, Leon 12 Landes, Jürgen 12 Makinson, David Clement 12 Montanari, Angelo 12 Paoli, Francesco 12 Pino Pérez, Ramón 12 Prade, Henri M. 12 Reis, Maurício D. L. 12 Segerberg, Krister 12 Tennant, Neil W. 12 Vakarelov, Dimiter 12 van Rooy, Robert 12 Visser, Albert 12 Weber, Zach 12 Wiśniewski, Andrzej 11 Delgrande, James P. 11 Falappa, Marcelo Alejandro 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 Németi, István 11 Omori, Hitoshi 11 Peppas, Pavlos 11 Peron, Adriano 11 Punčochář, Vít 11 Rossi, Lorenzo Paolo 11 Sano, Katsuhiko 11 Varzi, Achille C. 11 Wolter, Frank 10 Andréka, Hajnal 10 Bacon, Andrew 10 Beall, Jc 10 Berto, Francesco ...and 3,162 more Authors all top 5 Cited in 204 Journals 726 Journal of Philosophical Logic 561 Synthese 419 Studia Logica 258 The Review of Symbolic Logic 161 Notre Dame Journal of Formal Logic 160 Journal of Logic, Language and Information 150 Artificial Intelligence 126 Journal of Applied Non-Classical Logics 119 The Journal of Symbolic Logic 99 Erkenntnis 96 Annals of Pure and Applied Logic 85 Logic and Logical Philosophy 84 Logica Universalis 82 International Journal of Approximate Reasoning 80 Journal of Applied Logic 77 History and Philosophy of Logic 52 Annals of Mathematics and Artificial Intelligence 46 The Bulletin of Symbolic Logic 44 Theoretical Computer Science 41 Fuzzy Sets and Systems 39 International Journal of Theoretical Physics 31 Topoi 31 Nôus 30 Mathematical Logic Quarterly (MLQ) 27 Bulletin of the Section of Logic 25 Archive for Mathematical Logic 21 Information Sciences 21 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 19 Theory and Decision 19 Social Choice and Welfare 19 ACM Transactions on Computational Logic 19 Foundations of Physics 18 Information and Computation 17 Algebra Universalis 15 Journal of Economic Theory 15 Journal of Automated Reasoning 14 Soft Computing 14 Logical Methods in Computer Science 13 Journal of Mathematical Psychology 13 Mathematical Social Sciences 13 Logicheskie Issledovaniya 11 Journal of Logical and Algebraic Methods in Programming 10 Foundations of Science 9 International Journal of General Systems 8 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 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 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 3 Discrete Mathematics 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 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 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 104 more Journals all top 5 Cited in 49 Fields 4,319 Mathematical logic and foundations (03-XX) 966 Computer science (68-XX) 252 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 175 History and biography (01-XX) 168 General and overarching topics; collections (00-XX) 160 Quantum theory (81-XX) 153 Order, lattices, ordered algebraic structures (06-XX) 109 Probability theory and stochastic processes (60-XX) 59 Statistics (62-XX) 55 Category theory; homological algebra (18-XX) 44 General topology (54-XX) 32 Relativity and gravitational theory (83-XX) 28 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) 14 Group theory and generalizations (20-XX) 10 Operator theory (47-XX) 10 Operations research, mathematical programming (90-XX) 8 Measure and integration (28-XX) 7 Associative rings and algebras (16-XX) 7 Real functions (26-XX) 7 Convex and discrete geometry (52-XX) 7 Biology and other natural sciences (92-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 Differential geometry (53-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 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) 2 Classical thermodynamics, heat transfer (80-XX) 1 Commutative algebra (13-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