The Review of Symbolic LogicPublished for the Association of Symbolic Logic Short Title: Rev. Symb. Log. Publisher: Cambridge University Press, Cambridge ISSN: 1755-0203; 1755-0211/e Online: https://www.cambridge.org/core/journals/review-of-symbolic-logic/all-issues Comments: Journal; Indexed cover-to-cover Documents Indexed: 580 Publications (since 2008) References Indexed: 570 Publications with 17,811 References. all top 5 Latest Issues 17, No. 3 (2024) 17, No. 2 (2024) 17, No. 1 (2024) 16, No. 4 (2023) 16, No. 3 (2023) 16, No. 2 (2023) 16, No. 1 (2023) 15, No. 4 (2022) 15, No. 3 (2022) 15, No. 2 (2022) 15, No. 1 (2022) 14, No. 4 (2021) 14, No. 3 (2021) 14, No. 2 (2021) 14, No. 1 (2021) 13, No. 4 (2020) 13, No. 3 (2020) 13, No. 2 (2020) 13, No. 1 (2020) 12, No. 4 (2019) 12, No. 3 (2019) 12, No. 2 (2019) 12, No. 1 (2019) 11, No. 4 (2018) 11, No. 3 (2018) 11, No. 2 (2018) 11, No. 1 (2018) 10, No. 4 (2017) 10, No. 3 (2017) 10, No. 2 (2017) 10, No. 1 (2017) 9, No. 4 (2016) 9, No. 3 (2016) 9, No. 2 (2016) 9, No. 1 (2016) 8, No. 4 (2015) 8, No. 3 (2015) 8, No. 2 (2015) 8, No. 1 (2015) 7, No. 4 (2014) 7, No. 3 (2014) 7, No. 2 (2014) 7, No. 1 (2014) 6, No. 4 (2013) 6, No. 3 (2013) 6, No. 2 (2013) 6, No. 1 (2013) 5, No. 4 (2012) 5, No. 3 (2012) 5, No. 2 (2012) 5, No. 1 (2012) 4, No. 4 (2011) 4, No. 3 (2011) 4, No. 2 (2011) 4, No. 1 (2011) 3, No. 4 (2010) 3, No. 3 (2010) 3, No. 2 (2010) 3, No. 1 (2010) 2, No. 4 (2009) 2, No. 3 (2009) 2, No. 2 (2009) 2, No. 1 (2009) 1, No. 4 (2008) 1, No. 3 (2008) 1, No. 2 (2008) 1, No. 1 (2008) all top 5 Authors 9 Shapiro, Stewart 7 Bezhanishvili, Guram 7 Halpern, Joseph Yehuda 7 Visser, Albert 6 Bezhanishvili, Nick 6 Field, Hartry H. 6 Fritz, Peter 6 Leitgeb, Hannes 6 Tennant, Neil W. 5 Badia, Guillermo 5 Fischer, Martin 5 Gratzl, Norbert 5 Linnebo, Øystein 5 Meadows, Toby 4 Avigad, Jeremy 4 Berto, Francesco 4 Cintula, Petr 4 Égré, Paul 4 Fine, Kit 4 Francez, Nissim 4 Gabbay, Dov M. 4 Halbach, Volker 4 Hodkinson, Ian Martin 4 Horsten, Leon 4 Kremer, Philip 4 Mancosu, Paolo 4 Moraschini, Tommaso 4 Olkhovikov, Grigory K. 4 Priest, Graham 4 Ripley, David 4 Stern, Johannes 4 van Ditmarsch, Hans Pieter 4 Walsh, Sean 4 Wansing, Heinrich Theodor 4 Weber, Zach 4 Zach, Richard 3 Beall, Jc 3 Carnielli, Walter Alexandre 3 Chemla, Emmanuel 3 Cieśliński, Cezary 3 Coniglio, Marcelo Esteban 3 Dean, Walter 3 Feferman, Solomon 3 Goldblatt, Robert Ian 3 Hamami, Yacin 3 Hellman, Geoffrey 3 Incurvati, Luca 3 Kanckos, Annika 3 Kocurek, Alexander W. 3 Kooi, Barteld Pieter 3 Kurahashi, Taishi 3 Leigh, Graham Emil 3 Łełyk, Mateusz Zbigniew 3 Leo, Joop 3 Ma, Minghui 3 Maddux, Roger D. 3 McCarty, Charles 3 Morris, Rebecca Lea 3 Moss, Lawrence S. 3 Nicolai, Carlo 3 Özgün, Aybüke 3 Pavlović, Edi 3 Renne, Bryan 3 Restall, Greg 3 Roberts, Sam 3 Schlechta, Karl 3 Sorbi, Andrea 3 Standefer, Shawn 3 Székely, Gergely 3 Szmuc, Damian Enrique 3 Tatton-Brown, Oliver William 3 Tedder, Andrew 3 Venturi, Giorgio 3 Wang, Yanjing 3 Wcisło, Bartosz 3 Williams, J. Robert G. 2 Amidei, Jacopo 2 Antonelli, Gian Aldo 2 Artemov, Sergei 2 Bacon, Andrew 2 Barbero, Fausto 2 Barrio, Eduardo Alejandro 2 Barton, Neil 2 Ben-Yami, Hanoch 2 Brauer, Ethan 2 Caie, Michael 2 Carrara, Massimiliano 2 Cook, Roy T. 2 Correia, Fabrice 2 Cotnoir, Aaron J. 2 Douven, Igor 2 Ebels-Duggan, Sean C. 2 Fazio, Davide 2 Ferenz, Nicholas 2 Fjellstad, Andreas 2 French, Rohan 2 Gabelaia, David 2 Gaifman, Haim 2 Garapa, Marco 2 Gilbert, David Robert ...and 477 more Authors all top 5 Fields 564 Mathematical logic and foundations (03-XX) 53 General and overarching topics; collections (00-XX) 42 History and biography (01-XX) 23 Computer science (68-XX) 20 Probability theory and stochastic processes (60-XX) 15 Order, lattices, ordered algebraic structures (06-XX) 13 Category theory; homological algebra (18-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 General topology (54-XX) 8 Statistics (62-XX) 6 Geometry (51-XX) 3 General algebraic systems (08-XX) 3 Group theory and generalizations (20-XX) 3 Quantum theory (81-XX) 2 Number theory (11-XX) 2 Field theory and polynomials (12-XX) 2 Measure and integration (28-XX) 2 Functional analysis (46-XX) 2 Algebraic topology (55-XX) 2 Relativity and gravitational theory (83-XX) 2 Information and communication theory, circuits (94-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 419 Publications have been cited 2,790 times in 1,905 Documents Cited by ▼ Year ▼ The logic of justification. Zbl 1205.03027 Artemov, Sergei 80 2008 Conservatively extending classical logic with transparent truth. Zbl 1248.03012 Ripley, David 66 2012 The set-theoretic multiverse. Zbl 1260.03103 Hamkins, Joel David 49 2012 ‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019 Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago 48 2008 A formal system for Euclid’s Elements. Zbl 1188.03008 Avigad, Jeremy; Dean, Edward; Mumma, John 48 2009 Contingency and knowing whether. Zbl 1375.03023 Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans 44 2015 The pure logic of ground. Zbl 1250.03010 Fine, Kit 43 2012 Truth without contra(di)ction. Zbl 1252.03018 Zardini, Elia 42 2011 A logic for ‘because’. Zbl 1253.03020 Schnieder, Benjamin 36 2011 A cut-free simple sequent calculus for modal logic S5. Zbl 1204.03024 Poggiolesi, Francesca 35 2008 Arrow update logic. Zbl 1252.03034 Kooi, Barteld; Renne, Bryan 35 2011 Transfinite numbers in paraconsistent set theory. Zbl 1197.03026 Weber, Zach 33 2010 The potential hierarchy of sets. Zbl 1283.03085 Linnebo, Øystein 33 2013 Logical grounds. Zbl 1344.03005 Correia, Fabrice 32 2014 Multiple-conclusion LP and default classicality. Zbl 1252.03008 Beall, Jc 28 2011 Existential graphs as an instrument of logical analysis. I: Alpha. Zbl 1381.03003 Bellucci, Francesco; Pietarinen, Ahti-Veikko 26 2016 Logics for the relational syllogistic. Zbl 1189.03014 Pratt-Hartmann, Ian; Moss, Lawrence S. 26 2009 Intuitionistic epistemic logic. Zbl 1408.03004 Artemov, Sergei; Protopopescu, Tudor 25 2016 Many-valued modal logics: a simple approach. Zbl 1206.03022 Priest, Graham 24 2008 Completeness via correspondence for extensions of the logic of paradox. Zbl 1270.03045 Kooi, Barteld; Tamminga, Allard 24 2012 Pluralism in logic. Zbl 1184.03004 Field, Hartry 22 2009 Transfinite cardinals in paraconsistent set theory. Zbl 1262.03109 Weber, Zach 20 2012 Morita equivalence. Zbl 1397.03017 Barrett, Thomas William; Halvorson, Hans 20 2016 On the logic of factual equivalence. Zbl 1386.03027 Correia, Fabrice 19 2016 Quantum team logic and Bell’s inequalities. Zbl 1371.03098 Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko 18 2015 A probabilistic semantics for counterfactuals. Part A. Zbl 1253.03009 Leitgeb, Hannes 18 2012 An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065 Bezhanishvili, Guram; Bezhanishvili, Nick 18 2009 Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009 Petrukhin, Yaroslav; Shangin, Vasily 18 2017 Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030 Halpern, Joseph Y.; Samet, Dov; Segev, Ella 17 2009 Measuring the size of infinite collections of natural numbers: was Cantor’s theory of infinite number inevitable? Zbl 1204.03003 Mancosu, Paolo 17 2009 Ultimate truth vis-à-vis stable truth. Zbl 1204.03016 Welch, P. D. 16 2008 Quantified logic of awareness and impossible possible worlds. Zbl 1205.03016 Sillari, Giacomo 16 2008 On the relationship between plane and solid geometry. Zbl 1242.51001 Arana, Andrew; Mancosu, Paolo 16 2012 Axiomatizing semantic theories of truth? Zbl 1350.03009 Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes 16 2015 Self-reference in arithmetic. I. Zbl 1337.03008 Halbach, Volker; Visser, Albert 16 2014 Cut for core logic. Zbl 1256.03059 Tennant, Neil 16 2012 Axioms for determinateness and truth. Zbl 1204.03007 Feferman, Solomon 15 2008 O is not enough. Zbl 1175.03017 Paris, J. B.; Simmonds, R. 15 2009 Suszko’s problem: mixed consequence and compositionality. Zbl 1532.03032 Chemla, Emmanuel; Égré, Paul 15 2019 Naive truth and naive logical properties. Zbl 1345.03014 Zardini, Elia 15 2014 On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 1477.03095 Omori, Hitoshi; Wansing, Heinrich 15 2018 Pasch’s philosophy of mathematics. Zbl 1193.03002 Schlimm, Dirk 14 2010 Reducing compositional to disquotational truth. Zbl 1188.03004 Halbach, Volker 14 2009 Strong completeness of S4 for any dense-in-itself metric space. Zbl 1326.03025 Kremer, Philip 14 2013 Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023 Awodey, Steve; Kishida, Kohei 13 2008 A fully classical truth theory characterized by substructural means. Zbl 1476.03028 Pailos, Federico Matías 13 2020 Instantial neighbourhood logic. Zbl 1417.03162 van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua 13 2017 Notes on bounded induction for the compositional truth predicate. Zbl 1421.03028 Wcisło, Bartosz; Łełyk, Mateusz 13 2017 Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. Zbl 1335.03023 Cintula, Petr; Horčík, Rostislav; Noguera, Carles 13 2013 The quantified argument calculus. Zbl 1345.03053 Ben-Yami, Hanoch 13 2014 Naive truth and restricted quantification: saving truth a whole lot better. Zbl 1329.03015 Field, Hartry 13 2014 Action types in stit semantics. Zbl 1421.03006 Horty, John; Pacuit, Eric 13 2017 Non-wellfounded mereology. Zbl 1259.03009 Cotnoir, Aaron J.; Bacon, Andrew 12 2012 Self-reference in arithmetic. II. Zbl 1337.03009 Halbach, Volker; Visser, Albert 12 2014 On weak ground. Zbl 1339.03006 Derosset, Louis 12 2014 Analytic cut and interpolation for bi-intuitionistic logic. Zbl 1417.03280 Kowalski, Tomasz; Ono, Hiroakira 12 2017 The classical continuum without points. Zbl 1326.03019 Hellman, Geoffrey; Shapiro, Stewart 12 2013 The logic of partitions: introduction to the dual of the logic of subsets. Zbl 1211.03101 Ellerman, David 11 2010 Canonicity results of substructural and lattice-based logics. Zbl 1229.03023 Suzuki, Tomoyuki 11 2011 Rules for subatomic derivation. Zbl 1252.03125 Więckowski, Bartosz 11 2011 Merging of opinions and probability kinematics. Zbl 1375.03027 Huttegger, Simon M. 11 2015 Obligation, free choice, and the logic of weakest permissions. Zbl 1375.03007 Anglberger, Albert J. J.; Gratzl, Nobert; Roy, Olivier 11 2015 Generalized algebra-valued models of set theory. Zbl 1375.03066 Löwe, Benedikt; Tarafder, Sourav 11 2015 Substructural inquisitive logics. Zbl 1532.03033 Punčochář, Vít 11 2019 Bolzano’s concept of grounding (Abfolge) against the background of normal proofs. Zbl 1288.03005 Rumberg, Antje 11 2013 On flattening elimination rules. Zbl 1329.03087 Olkhovikov, Grigory K.; Schroeder-Heister, Peter 11 2014 A machine-assisted proof of Gödel’s incompleteness theorems for the theory of hereditarily finite sets. Zbl 1337.03021 Paulson, Lawrence C. 11 2014 We hold these truths to be self-evident: but what do we mean by that? Zbl 1170.03003 Shapiro, Stewart 10 2009 A modal translation for dual-intuitionistic logic. Zbl 1388.03023 Shramko, Yaroslav 10 2016 Further results on the intransitivity of evidential support. Zbl 1234.03005 Douven, Igor 10 2011 The logic of resources and capabilities. Zbl 1506.03065 Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem 10 2018 Cardinal arithmetic in the style of Baron von Münchhausen. Zbl 1185.03088 Visser, Albert 10 2009 Minimal truth and interpretability. Zbl 1188.03003 Fischer, Martin 10 2009 General properties of Bayesian learning as statistical inference determined by conditional expectations. Zbl 1417.03113 Gyenis, Zalán; Rédei, Miklós 10 2017 On the probabilistic convention T. Zbl 1204.03010 Leitgeb, Hannes 9 2008 Decomposing generalized quantifiers. Zbl 1204.03037 Westerståhl, Dag 9 2008 Valentini’s cut-elimination for provability logic resolved. Zbl 1254.03113 Goré, Rajeev; Ramanayake, Revantha 9 2012 Stalnaker’s thesis in context. Zbl 1375.03024 Bacon, Andrew 9 2015 Reflexive-insensitive modal logics. Zbl 1353.03011 Gilbert, David R.; Venturi, Giorgio 9 2016 Proof analysis for Lewis counterfactuals. Zbl 1386.03028 Negri, Sara; Sbardolini, Giorgio 9 2016 A Sahlqvist theorem for substructural logic. Zbl 1282.03014 Suzuki, Tomoyuki 9 2013 Model-theoretic characterization of intuitionistic propositional formulas. Zbl 1280.03010 Olkhovikov, Grigory K. 9 2013 Logic for exact entailment. Zbl 1454.03031 Fine, Kit; Jago, Mark 9 2019 Orthomodular-valued models for quantum set theory. Zbl 1421.03026 Ozawa, Masanao 9 2017 Solovay-type theorems for circular definitions. Zbl 1347.03049 Standefer, Shawn 8 2015 How a semantics for tonk should be. Zbl 1382.03016 Fjellstad, Andreas 8 2015 Sequent calculi for some trilattice logics. Zbl 1174.03008 Kamide, Norihiro; Wansing, Heinrich 8 2009 Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010 Gabbay, Dov M.; Schlechta, Karl 8 2009 The expressive power of memory logics. Zbl 1247.03027 Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio 8 2011 The relevance of premises to conclusions of core proofs. Zbl 1375.03078 Tennant, Neil 8 2015 Relevance logic and the calculus of relations. Zbl 1198.03029 Maddux, Roger D. 8 2010 A probabilistic semantics for counterfactuals. Part B. Zbl 1253.03010 Leitgeb, Hannes 8 2012 Gradational accuracy and nonclassical semantics. Zbl 1261.03066 Williams, J. Robert G. 8 2012 Modal logics of metric spaces. Zbl 1371.03022 Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel 8 2015 From causal models to counterfactual structures. Zbl 1272.03021 Halpern, Joseph Y. 8 2013 Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 1506.03071 Odintsov, Sergei P.; Speranski, Stanislav O. 8 2020 A purely syntactic and cut-free sequent calculus for the modal logic of provability. Zbl 1189.03071 Poggiolesi, Francesca 8 2009 Axioms for grounded truth. Zbl 1329.03024 Schindler, Thomas 8 2014 What is the correct logic of necessity, actuality and apriority? Zbl 1345.03037 Fritz, Peter 8 2014 A Dutch book theorem and converse Dutch book theorem for Kolmogorov conditionalization. Zbl 1477.60010 Rescorla, Michael 8 2018 The lattice of super-Belnap logics. Zbl 07658883 Přenosil, Adam 7 2023 Self-reference upfront: a study of self-referential Gödel numberings. Zbl 1534.03055 Grabmayr, Balthasar; Visser, Albert 4 2023 Russellian definite description theory – a proof theoretic approach. Zbl 1522.03315 Indrzejczak, Andrzej 4 2023 Quantified modal relevant logics. Zbl 07658886 Ferenz, Nicholas 3 2023 Predicativism as a form of potentialism. Zbl 1537.03009 Linnebo, Øystein; Shapiro, Stewart 2 2023 A note on choice principles in second-order logic. Zbl 07689491 Siskind, Benjamin; Mancosu, Paolo; Shapiro, Stewart 1 2023 Abstract forms of quantification in the quantified argument calculus. Zbl 07689496 Pavlović, Edi; Gratzl, Norbert 1 2023 Grzegorczyk points and filters in Boolean contact algebras. Zbl 07689498 Gruszczyński, Rafał; Pietruszczak, Andrzej 1 2023 Gödel’s theorem and direct self-reference. Zbl 07689504 Kripke, Saul A. 1 2023 Support for geometric pooling. Zbl 1508.60003 Baccelli, Jean; Stewart, Rush T. 1 2023 Independence proofs in non-classical set theories. Zbl 07786924 Tarafder, Sourav; Venturi, Giorgio 1 2023 Fractional-valued modal logic. Zbl 07786926 Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo 1 2023 Collection frames for distributive substructural logics. Zbl 07786930 Restall, Greg; Standefer, Shawn 1 2023 A simple sequent system for minimally inconsistent LP. Zbl 07786936 Golan, Rea 1 2023 Szemerédi’s theorem: an exploration of impurity, explanation, and content. Zbl 1522.00148 Ryan, Patrick J. 1 2023 Stit-logic for imagination episodes with voluntary input. Zbl 07740299 Badura, Christopher; Wansing, Heinrich 1 2023 Improving strong negation. Zbl 07740302 Niki, Satoru 1 2023 The modal logic of set-theoretic potentialism and the potentialist maximality principles. Zbl 1529.03254 Hamkins, Joel David; Linnebo, Øystein 7 2022 The logic of the evidential conditional. Zbl 1534.03038 Raidl, Eric; Iacona, Andrea; Crupi, Vincenzo 7 2022 Difference-making conditionals and the relevant Ramsey test. Zbl 1529.03137 Rott, Hans 6 2022 The modal logic of stepwise removal. Zbl 1529.03156 van Benthem, Johan; Mierzewski, Krzysztof; Zaffora Blando, Francesca 5 2022 Two level credibility-limited revisions. Zbl 1504.03012 Garapa, Marco 5 2022 Semantics for pure theories of connexive implication. Zbl 1532.03044 Weiss, Yale 5 2022 Epistemic multilateral logic. Zbl 1532.03046 Incurvati, Luca; Schlöder, Julian J. 4 2022 The power of naive truth. Zbl 1529.03039 Field, Hartry 2 2022 Classical counterpossibles. Zbl 1529.03041 French, Rohan; Girard, Patrick; Ripley, David 2 2022 Mathematical rigor and proof. Zbl 1537.00009 Hamami, Yacin 2 2022 Bisimulations for knowing how logics. Zbl 1505.03044 Fervari, Raul; Velázquez-Quesada, Fernando R.; Wang, Yanjing 2 2022 Probabilistic stability, AGM revision operators and maximum entropy. Zbl 1532.03019 Mierzewski, Krzysztof 2 2022 Questions in two-dimensional logic. Zbl 1532.03022 van Gessel, Thom 2 2022 An algebraic approach to inquisitive and \(\mathtt{DNA} \)-logics. Zbl 1532.03038 Bezhanishvili, Nick; Grilletti, Gianluca; Quadrellaro, Davide Emilio 2 2022 De Zolt’s postulate: an abstract approach. Zbl 1504.03011 Giovannini, Eduardo N.; Haeusler, Edward H.; Lassalle-Casanave, Abel; Veloso, Paulo A. S. 1 2022 Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. Zbl 1532.03013 Madarász, Judit X.; Stannett, Mike; Székely, Gergely 1 2022 Voluntary imagination: a fine-grained analysis. Zbl 1525.03059 Canavotto, Ilaria; Berto, Francesco; Giordani, Alessandro 1 2022 A note on the sequent calculi \(\mathbf{G3[mic]}^=\). Zbl 1532.03088 Parlamento, Franco; Previale, Flavio 1 2022 Three model-theoretic constructions for generalized Epstein semantics. Zbl 1532.03041 Krawczyk, Krzysztof A. 1 2022 Neighbourhood canonicity for EK, ECK, and relatives: a constructive proof. Zbl 1532.03031 Van De Putte, Frederik; McNamara, Paul 1 2022 Frege’s theory of real numbers: A consistent rendering. Zbl 1496.00020 Boccuni, Francesca; Panza, Marco 1 2022 The nonarithmeticity of the predicate logic of strictly primitive recursive realizability. Zbl 1532.03092 Plisko, Valery 1 2022 Logics of formal inconsistency enriched with replacement: An algebraic and modal account. Zbl 1532.03023 Carnielli, Walter; Coniglio, Marcelo E.; Fuenmayor, David 1 2022 Mereological bimodal logics. Zbl 1532.03028 Li, Dazhu; Wang, Yanjing 1 2022 On the invariance of Gödel’s second theorem with regard to numberings. Zbl 1487.03070 Grabmayr, Balthasar 7 2021 Universism and extensions of \(V\). Zbl 1500.03002 Antos, Carolin; Barton, Neil; Friedman, Sy-David 7 2021 Dependent choice, properness, and generic absoluteness. Zbl 1532.03072 Asperó, David; Karagila, Asaf 5 2021 Dynamic hyperintensional belief revision. Zbl 1484.03027 Özgün, Aybüke; Berto, Francesco 5 2021 Effective inseparability, lattices, and preordering relations. Zbl 1517.03037 Andrews, Uri; Sorbi, Andrea 4 2021 An expressivist analysis of the indicative conditional with a restrictor semantics. The negative Ramsey test. Proof of theorems. Zbl 1535.03019 Cantwell, John 3 2021 Natural formalization: deriving the Cantor-Bernstein theorem in ZF. Zbl 1532.03015 Sieg, Wilfried; Walsh, Patrick 3 2021 Non-well-founded proofs for the Grzegorczyk modal logic. Zbl 1496.03086 Savateev, Yury; Shamkanov, Daniyar 3 2021 Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. Zbl 1485.03233 Zach, Richard 2 2021 The elimination of atomic cuts and the semishortening property for Gentzen’s sequent calculus with equality. Zbl 1487.03064 Parlamento, Franco; Previale, Flavio 2 2021 A bridge between Q-worlds. Zbl 1535.81019 Döring, Andreas; Eva, Benjamin; Ozawa, Masanao 1 2021 Compositionality, computability, and complexity. Zbl 1508.03075 Pagin, Peter 1 2021 Deductive cardinality results and nuisance-like principles. Zbl 1508.03037 Ebels-Duggan, Sean C. 1 2021 Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic. Zbl 1508.03091 Blanck, Rasmus 1 2021 Knowledge, justification, and adequate reasons. Zbl 1484.03024 Égré, Paul; Marty, Paul; Renne, Bryan 1 2021 Exploring the landscape of relational syllogistic logics. Zbl 1490.03018 Kruckman, Alex; Moss, Lawrence S. 1 2021 Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D. Zbl 1486.03040 Burns, Samara; Zach, Richard 1 2021 Complexity of the infinitary Lambek calculus with Kleene star. Zbl 1517.03042 Kuznetsov, Stepan 1 2021 Plans and planning in mathematical proofs. Zbl 1482.00006 Hamami, Yacin; Morris, Rebecca Lea 1 2021 A fully classical truth theory characterized by substructural means. Zbl 1476.03028 Pailos, Federico Matías 13 2020 Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 1506.03071 Odintsov, Sergei P.; Speranski, Stanislav O. 8 2020 Peirce’s calculi for classical propositional logic. Zbl 1485.03017 Ma, Minghui; Pietarinen, Ahti-Veikko 7 2020 Varieties of De Morgan monoids: covers of atoms. Zbl 1484.03038 Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. 6 2020 A recovery operator for nontransitive approaches. Zbl 1452.03062 Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian 6 2020 Fractional semantics for classical logic. Zbl 1486.03016 Piazza, Mario; Pulcini, Gabriele 5 2020 A note on the cut-elimination proof in “Truth without contra(di)ction”. Zbl 1473.03035 Fjellstad, Andreas 5 2020 Three characterizations of strict coherence on infinite-valued events. Zbl 1485.03058 Flaminio, Tommaso 5 2020 Distances between formal theories. Zbl 1485.03079 Khaled, Mohamed; Székely, Gergely; Lefever, Koen; Friend, Michèle 5 2020 Logic and topology for knowledge, knowability, and belief. Zbl 1473.03010 Bjorndahl, Adam; Özgün, Aybüke 4 2020 Hereditarily structurally complete positive logics. Zbl 1485.03062 Citkin, Alex 4 2020 Syllogistic logic with cardinality comparisons, on infinite sets. Zbl 1455.03039 Moss, Lawrence S.; Topal, Selçuk 4 2020 Modularity in mathematics. Zbl 1439.00026 Avigad, Jeremy 4 2020 Nonrepresentable relation algebras from groups. Zbl 1477.03262 Andréka, Hajnal; Németi, István; Givant, Steven 3 2020 Mechanizing Principia logico-metaphysica in functional type-theory. Zbl 1484.03020 Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. 3 2020 Another look at the second incompleteness theorem. Zbl 1444.03168 Visser, Albert 2 2020 Generic large cardinals as axioms. Zbl 1484.03113 Eskew, Monroe 2 2020 On Morita equivalence and interpretability. Zbl 1444.03004 McEldowney, Paul Anh 2 2020 Incompleteness via paradox and completeness. Zbl 1485.03244 Dean, Walter 2 2020 Motivated proofs: what they are, why they matter and how to write them. Zbl 1437.00025 Morris, Rebecca Lea 2 2020 Formal representations of dependence and groundedness. Zbl 1484.03010 Rivello, Edoardo 2 2020 Certain modern ideas and methods: “geometric reality” in the mathematics of Charlotte Angas Scott. Zbl 1486.01047 Lorenat, Jemma 1 2020 Proof systems for various FDE-based modal logics. Zbl 1479.03013 Drobyshevich, Sergey; Wansing, Heinrich 1 2020 Non-well-founded derivations in the Gödel-Löb provability logic. Zbl 1486.03099 Shamkanov, Daniyar 1 2020 Ineffability and revenge. Zbl 1486.03011 Scambler, Chris 1 2020 Standard Bayes logic is not finitely axiomatizable. Zbl 1452.03051 Gyenis, Zalán 1 2020 Substitution in relevant logics. Zbl 1476.03027 Øgaard, Tore Fjetland 1 2020 The peripatetic program in categorical logic: Leibniz on propositional terms. Zbl 1452.03014 Malink, Marko; Vasudevan, Anubav 1 2020 Suszko’s problem: mixed consequence and compositionality. Zbl 1532.03032 Chemla, Emmanuel; Égré, Paul 15 2019 Substructural inquisitive logics. Zbl 1532.03033 Punčochář, Vít 11 2019 Logic for exact entailment. Zbl 1454.03031 Fine, Kit; Jago, Mark 9 2019 Generality and existence. I: Quantification and free logic. Zbl 1532.03010 Restall, Greg 7 2019 Proof-theoretic analysis of the quantified argument calculus. Zbl 1534.03053 Pavlović, Edi; Gratzl, Norbert 7 2019 Complete additivity and modal incompleteness. Zbl 1532.03026 Holliday, Wesley H.; Litak, Tadeusz 6 2019 Rexpansions of nondeterministic matrices and their applications in nonclassical logics. Zbl 1532.03035 Avron, Arnon; Zohar, Yoni 5 2019 Everyone knows that someone knows: quantifiers over epistemic agents. Zbl 1532.03030 Naumov, Pavel; Tao, Jia 5 2019 Completeness for counter-doxa conditionals – using ranking semantics. Zbl 1442.03004 Raidl, Eric 5 2019 Models of positive truth. Zbl 1454.03092 Łełyk, Mateusz; Wcisło, Bartosz 4 2019 Cut elimination in hypersequent calculus for some logics of linear time. Zbl 1532.03087 Indrzejczak, Andrzej 4 2019 A note on the reverse mathematics of the sorites. Zbl 1532.03012 Dzhafarov, Damir D. 3 2019 ...and 319 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,426 Authors 33 van Ditmarsch, Hans Pieter 26 Bezhanishvili, Nick 25 Petrukhin, Yaroslav Igorevich 24 Wansing, Heinrich Theodor 22 Bezhanishvili, Guram 19 Pietarinen, Ahti-Veikko 18 Fan, Jie 16 Pailos, Federico Matias 16 Wang, Yanjing 14 Francez, Nissim 14 Indrzejczak, Andrzej 14 Poggiolesi, Francesca 14 Visser, Albert 12 Égré, Paul 12 Ma, Minghui 12 Nicolai, Carlo 12 Omori, Hitoshi 12 Palmigiano, Alessandra 12 Rossi, Lorenzo Paolo 12 Studer, Thomas 11 Fervari, Raul 11 Fritz, Peter 11 Kuznets, Roman 11 Moraschini, Tommaso 11 Shapiro, Stewart 11 Szmuc, Damian Enrique 11 Venturi, Giorgio 10 Barrio, Eduardo Alejandro 10 Friedman, Sy-David 10 Galimullin, Rustam 10 Horsten, Leon 10 Linnebo, Øystein 10 Lucero-Bryan, Joel Gregory 10 Ripley, David 10 Standefer, Shawn 10 van Benthem, Johan F. A. K. 10 Weber, Zach 10 Zardini, Elia 9 Ågotnes, Thomas 9 Areces, Carlos 9 Badia, Guillermo 9 Carnielli, Walter Alexandre 9 Da Ré, Bruno 9 Fjellstad, Andreas 9 Gabbay, Dov M. 9 Gratzl, Norbert 9 Hansson, Sven Ove 9 Katz, Mikhail G. 9 Łełyk, Mateusz Zbigniew 9 Moss, Lawrence S. 9 Paoli, Francesco 9 Schippers, Michael 9 Tennant, Neil W. 8 Barbero, Fausto 8 Barton, Neil 8 Greco, Giuseppe 8 Gyenis, Zalán 8 Kamide, Norihiro 8 Leitgeb, Hannes 8 Meadows, Toby 8 Priest, Graham 8 Sano, Katsuhiko 8 Schurz, Gerhard 8 Sedlár, Igor 8 Shangin, Vasily 8 Velázquez-Quesada, Fernando Raymundo 8 Yang, Fan 7 Artemov, Sergei 7 Coniglio, Marcelo Esteban 7 Fujimoto, Kentaro 7 Giordani, Alessandro 7 Hamkins, Joel David 7 Humberstone, Lloyd 7 Kuijer, Louwe Bouke 7 Negri, Sara 7 Tarafder, Sourav 7 Tranchini, Luca 7 van Mill, Jan 7 van Rooy, Robert 7 Wcisło, Bartosz 6 Andréka, Hajnal 6 Beall, Jc 6 Bellucci, Francesco 6 Carrara, Massimiliano 6 Cobreros, Pablo 6 Conradie, Willem 6 Ellerman, David P. 6 Fitting, Melvin Chris 6 Halpern, Joseph Yehuda 6 Iemhoff, Rosalie 6 Janičić, Predrag 6 Kremer, Philip 6 Kurahashi, Taishi 6 Narboux, Julien 6 Odintsov, Sergei P. 6 Olkhovikov, Grigory K. 6 Panza, Marco 6 Pavlović, Edi 6 Přenosil, Adam 6 Pulcini, Gabriele ...and 1,326 more Authors all top 5 Cited in 119 Journals 218 The Review of Symbolic Logic 199 Journal of Philosophical Logic 189 Synthese 139 Studia Logica 66 Annals of Pure and Applied Logic 54 Notre Dame Journal of Formal Logic 49 Logic and Logical Philosophy 45 Journal of Logic, Language and Information 42 Journal of Applied Non-Classical Logics 37 Logica Universalis 33 Erkenntnis 31 The Journal of Symbolic Logic 26 The Bulletin of Symbolic Logic 25 Archive for Mathematical Logic 24 Nôus 20 Journal of Applied Logic 18 Bulletin of the Section of Logic 17 Topoi 16 Artificial Intelligence 16 Annals of Mathematics and Artificial Intelligence 15 Algebra Universalis 14 Mathematical Logic Quarterly (MLQ) 13 History and Philosophy of Logic 12 Foundations of Science 10 Journal of Automated Reasoning 10 Journal of Logical and Algebraic Methods in Programming 9 Theoretical Computer Science 9 Information and Computation 9 ACM Transactions on Computational Logic 9 Logical Methods in Computer Science 8 Indagationes Mathematicae. New Series 7 International Journal of Approximate Reasoning 7 Foundations of Physics 7 Logicheskie Issledovaniya 6 Fuzzy Sets and Systems 5 Moscow University Mathematics Bulletin 5 Journal of Computer and System Sciences 5 Mathematical Structures in Computer Science 4 The Mathematical Intelligencer 4 Mathematical Social Sciences 4 Games and Economic Behavior 4 Theory of Computing Systems 4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 3 Algebra and Logic 3 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 2 Archive for History of Exact Sciences 2 International Journal of Theoretical Physics 2 Mathematical Notes 2 Bulletin of the London Mathematical Society 2 Information Sciences 2 Journal of Geometry 2 Theory and Decision 2 Annals of Operations Research 2 Bulletin of the American Mathematical Society. New Series 2 Applied Categorical Structures 2 Sbornik: Mathematics 2 Theory and Practice of Logic Programming 2 Oberwolfach Reports 2 Philosophy of Science 2 European Journal for Philosophy of Science 2 Computability 2 European Journal of Mathematics 2 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal 1 Information Processing Letters 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Lithuanian Mathematical Journal 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Reports on Mathematical Physics 1 Russian Mathematical Surveys 1 Beiträge zur Algebra und Geometrie 1 Canadian Mathematical Bulletin 1 International Journal of Game Theory 1 Journal of Economic Theory 1 Journal of Mathematical Economics 1 Journal of Mathematical Psychology 1 Journal of Pure and Applied Algebra 1 Proceedings of the American Mathematical Society 1 Quaestiones Mathematicae 1 Results in Mathematics 1 Semigroup Forum 1 Siberian Mathematical Journal 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 Theoria. Segunda Epoca 1 International Journal of Foundations of Computer Science 1 Historia Mathematica 1 SIAM Review 1 Expositiones Mathematicae 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Economic Theory 1 Filomat 1 Doklady Mathematics 1 Soft Computing 1 Journal for Geometry and Graphics 1 Matematychni Studiï 1 Journal of the ACM 1 Journal of Mathematical Logic 1 Advances in Geometry 1 International Studies in the Philosophy of Science 1 Entropy ...and 19 more Journals all top 5 Cited in 37 Fields 1,738 Mathematical logic and foundations (03-XX) 217 Computer science (68-XX) 141 General and overarching topics; collections (00-XX) 113 History and biography (01-XX) 62 Order, lattices, ordered algebraic structures (06-XX) 48 Probability theory and stochastic processes (60-XX) 44 Geometry (51-XX) 43 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 Category theory; homological algebra (18-XX) 26 General topology (54-XX) 20 Quantum theory (81-XX) 17 General algebraic systems (08-XX) 17 Statistics (62-XX) 9 Combinatorics (05-XX) 8 Relativity and gravitational theory (83-XX) 7 Field theory and polynomials (12-XX) 7 Algebraic topology (55-XX) 7 Information and communication theory, circuits (94-XX) 6 Group theory and generalizations (20-XX) 6 Measure and integration (28-XX) 5 Real functions (26-XX) 5 Functional analysis (46-XX) 5 Mathematics education (97-XX) 4 Number theory (11-XX) 4 Commutative algebra (13-XX) 4 Associative rings and algebras (16-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Differential geometry (53-XX) 3 Operations research, mathematical programming (90-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of particles and systems (70-XX) 1 Algebraic geometry (14-XX) 1 \(K\)-theory (19-XX) 1 Functions of a complex variable (30-XX) 1 Sequences, series, summability (40-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Citations by Year