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: 526 Publications (since 2008) References Indexed: 516 Publications with 15,847 References. all top 5 Latest Issues 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. 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 8 Shapiro, Stewart 7 Bezhanishvili, Guram 7 Halpern, Joseph Yehuda 7 Visser, Albert 6 Bezhanishvili, Nick 6 Field, Hartry H. 6 Fritz, Peter 5 Fischer, Martin 5 Leitgeb, Hannes 5 Linnebo, Øystein 5 Tennant, Neil W. 4 Berto, Francesco 4 Fine, Kit 4 Francez, Nissim 4 Gabbay, Dov M. 4 Gratzl, Norbert 4 Halbach, Volker 4 Kremer, Philip 4 Mancosu, Paolo 4 Moraschini, Tommaso 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 Avigad, Jeremy 3 Badia, Guillermo 3 Beall, Jc 3 Carnielli, Walter Alexandre 3 Cintula, Petr 3 Coniglio, Marcelo Esteban 3 Dean, Walter 3 Égré, Paul 3 Feferman, Solomon 3 Hamami, Yacin 3 Hellman, Geoffrey 3 Hodkinson, Ian Martin 3 Horsten, Leon 3 Incurvati, Luca 3 Kanckos, Annika 3 Kooi, Barteld Pieter 3 Leigh, Graham Emil 3 Łełyk, Mateusz Zbigniew 3 Leo, Joop 3 Maddux, Roger D. 3 Morris, Rebecca Lea 3 Moss, Lawrence S. 3 Nicolai, Carlo 3 Olkhovikov, Grigory K. 3 Özgün, Aybüke 3 Renne, Bryan 3 Schlechta, Karl 3 Sorbi, Andrea 3 Székely, Gergely 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 Ben-Yami, Hanoch 2 Brauer, Ethan 2 Caie, Michael 2 Carrara, Massimiliano 2 Chemla, Emmanuel 2 Cieśliński, Cezary 2 Cook, Roy T. 2 Correia, Fabrice 2 Cotnoir, Aaron J. 2 Douven, Igor 2 Ebels-Duggan, Sean C. 2 Fjellstad, Andreas 2 French, Rohan 2 Gabelaia, David 2 Gaifman, Haim 2 Gilbert, David Robert 2 Giordani, Alessandro 2 Girard, Patrick R. 2 Goldblatt, Robert Ian 2 Grabmayr, Balthasar 2 Grilletti, Gianluca 2 Gruszczyński, Rafał 2 Gyenis, Zalán 2 Hájek, Petr 2 Hamkins, Joel David 2 Hirsch, Robin 2 Hodges, Wilfrid 2 Humberstone, Lloyd 2 Indrzejczak, Andrzej 2 Klev, Ansten Mørch 2 Kurahashi, Taishi 2 Ladyman, James 2 Leach-Krouse, Graham 2 Lederman, Harvey ...and 435 more Authors all top 5 Fields 513 Mathematical logic and foundations (03-XX) 46 General and overarching topics; collections (00-XX) 38 History and biography (01-XX) 19 Computer science (68-XX) 15 Probability theory and stochastic processes (60-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 11 Category theory; homological algebra (18-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 General topology (54-XX) 6 Geometry (51-XX) 5 Statistics (62-XX) 3 Group theory and generalizations (20-XX) 3 Mathematics education (97-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Measure and integration (28-XX) 2 Quantum theory (81-XX) 2 Relativity and gravitational theory (83-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 368 Publications have been cited 2,229 times in 1,530 Documents Cited by ▼ Year ▼ The logic of justification. Zbl 1205.03027Artemov, Sergei 67 2008 Conservatively extending classical logic with transparent truth. Zbl 1248.03012Ripley, David 59 2012 A formal system for Euclid’s Elements. Zbl 1188.03008Avigad, Jeremy; Dean, Edward; Mumma, John 43 2009 The pure logic of ground. Zbl 1250.03010Fine, Kit 39 2012 ‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago 39 2008 The set-theoretic multiverse. Zbl 1260.03103Hamkins, Joel David 39 2012 Truth without contra(di)ction. Zbl 1252.03018Zardini, Elia 38 2011 A logic for ‘because’. Zbl 1253.03020Schnieder, Benjamin 32 2011 Transfinite numbers in paraconsistent set theory. Zbl 1197.03026Weber, Zach 32 2010 Arrow update logic. Zbl 1252.03034Kooi, Barteld; Renne, Bryan 30 2011 Contingency and knowing whether. Zbl 1375.03023Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans 30 2015 Logical grounds. Zbl 1344.03005Correia, Fabrice 29 2014 A cut-free simple sequent calculus for modal logic S5. Zbl 1204.03024Poggiolesi, Francesca 28 2008 Multiple-conclusion LP and default classicality. Zbl 1252.03008Beall, Jc 26 2011 The potential hierarchy of sets. Zbl 1283.03085Linnebo, Øystein 25 2013 Logics for the relational syllogistic. Zbl 1189.03014Pratt-Hartmann, Ian; Moss, Lawrence S. 25 2009 Completeness via correspondence for extensions of the logic of paradox. Zbl 1270.03045Kooi, Barteld; Tamminga, Allard 22 2012 Existential graphs as an instrument of logical analysis. I: Alpha. Zbl 1381.03003Bellucci, Francesco; Pietarinen, Ahti-Veikko 20 2016 Many-valued modal logics: a simple approach. Zbl 1206.03022Priest, Graham 19 2008 Transfinite cardinals in paraconsistent set theory. Zbl 1262.03109Weber, Zach 18 2012 Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009Petrukhin, Yaroslav; Shangin, Vasily 18 2017 Intuitionistic epistemic logic. Zbl 1408.03004Artemov, Sergei; Protopopescu, Tudor 17 2016 Quantum team logic and Bell’s inequalities. Zbl 1371.03098Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko 17 2015 Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030Halpern, Joseph Y.; Samet, Dov; Segev, Ella 17 2009 Ultimate truth vis-à-vis stable truth. Zbl 1204.03016Welch, P. D. 16 2008 Morita equivalence. Zbl 1397.03017Barrett, Thomas William; Halvorson, Hans 16 2016 Pluralism in logic. Zbl 1184.03004Field, Hartry 15 2009 On the logic of factual equivalence. Zbl 1386.03027Correia, Fabrice 15 2016 Self-reference in arithmetic. I. Zbl 1337.03008Halbach, Volker; Visser, Albert 15 2014 Naive truth and naive logical properties. Zbl 1345.03014Zardini, Elia 15 2014 Axiomatizing semantic theories of truth? Zbl 1350.03009Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes 15 2015 An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065Bezhanishvili, Guram; Bezhanishvili, Nick 15 2009 Measuring the size of infinite collections of natural numbers: was Cantor’s theory of infinite number inevitable? Zbl 1204.03003Mancosu, Paolo 15 2009 O is not enough. Zbl 1175.03017Paris, J. B.; Simmonds, R. 14 2009 Reducing compositional to disquotational truth. Zbl 1188.03004Halbach, Volker 14 2009 Quantified logic of awareness and impossible possible worlds. Zbl 1205.03016Sillari, Giacomo 13 2008 On the relationship between plane and solid geometry. Zbl 1242.51001Arana, Andrew; Mancosu, Paolo 12 2012 A probabilistic semantics for counterfactuals. Part A. Zbl 1253.03009Leitgeb, Hannes 12 2012 Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023Awodey, Steve; Kishida, Kohei 12 2008 Strong completeness of S4 for any dense-in-itself metric space. Zbl 1326.03025Kremer, Philip 12 2013 A fully classical truth theory characterized by substructural means. Zbl 1476.03028Pailos, Federico Matías 11 2020 The logic of partitions: introduction to the dual of the logic of subsets. Zbl 1211.03101Ellerman, David 11 2010 Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. Zbl 1335.03023Cintula, Petr; Horčík, Rostislav; Noguera, Carles 11 2013 Bolzano’s concept of grounding (Abfolge) against the background of normal proofs. Zbl 1288.03005Rumberg, Antje 11 2013 Self-reference in arithmetic. II. Zbl 1337.03009Halbach, Volker; Visser, Albert 11 2014 On weak ground. Zbl 1339.03006Derosset, Louis 11 2014 Merging of opinions and probability kinematics. Zbl 1375.03027Huttegger, Simon M. 11 2015 Instantial neighbourhood logic. Zbl 1417.03162van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua 11 2017 Naive truth and restricted quantification: saving truth a whole lot better. Zbl 1329.03015Field, Hartry 11 2014 A machine-assisted proof of Gödel’s incompleteness theorems for the theory of hereditarily finite sets. Zbl 1337.03021Paulson, Lawrence C. 11 2014 Action types in stit semantics. Zbl 1421.03006Horty, John; Pacuit, Eric 11 2017 Suszko’s problem: mixed consequence and compositionality. Zbl 07171844Chemla, Emmanuel; Égré, Paul 10 2019 Further results on the intransitivity of evidential support. Zbl 1234.03005Douven, Igor 10 2011 Axioms for determinateness and truth. Zbl 1204.03007Feferman, Solomon 10 2008 The classical continuum without points. Zbl 1326.03019Hellman, Geoffrey; Shapiro, Stewart 10 2013 Cut for core logic. Zbl 1256.03059Tennant, Neil 10 2012 On flattening elimination rules. Zbl 1329.03087Olkhovikov, Grigory K.; Schroeder-Heister, Peter 10 2014 Cardinal arithmetic in the style of Baron von Münchhausen. Zbl 1185.03088Visser, Albert 10 2009 Minimal truth and interpretability. Zbl 1188.03003Fischer, Martin 10 2009 Pasch’s philosophy of mathematics. Zbl 1193.03002Schlimm, Dirk 10 2010 On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 1477.03095Omori, Hitoshi; Wansing, Heinrich 9 2018 Notes on bounded induction for the compositional truth predicate. Zbl 1421.03028Wcisło, Bartosz; Łełyk, Mateusz 9 2017 Canonicity results of substructural and lattice-based logics. Zbl 1229.03023Suzuki, Tomoyuki 9 2011 General properties of Bayesian learning as statistical inference determined by conditional expectations. Zbl 1417.03113Gyenis, Zalán; Rédei, Miklós 9 2017 Non-wellfounded mereology. Zbl 1259.03009Cotnoir, Aaron J.; Bacon, Andrew 8 2012 The logic of resources and capabilities. Zbl 1506.03065Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem 8 2018 Decomposing generalized quantifiers. Zbl 1204.03037Westerståhl, Dag 8 2008 We hold these truths to be self-evident: but what do we mean by that? Zbl 1170.03003Shapiro, Stewart 8 2009 Sequent calculi for some trilattice logics. Zbl 1174.03008Kamide, Norihiro; Wansing, Heinrich 8 2009 Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010Gabbay, Dov M.; Schlechta, Karl 8 2009 Model-theoretic characterization of intuitionistic propositional formulas. Zbl 1280.03010Olkhovikov, Grigory K. 8 2013 Substructural inquisitive logics. Zbl 07063893Punčochář, Vít 8 2019 Reflexive-insensitive modal logics. Zbl 1353.03011Gilbert, David R.; Venturi, Giorgio 8 2016 Generalized algebra-valued models of set theory. Zbl 1375.03066Löwe, Benedikt; Tarafder, Sourav 8 2015 A modal translation for dual-intuitionistic logic. Zbl 1388.03023Shramko, Yaroslav 8 2016 Solovay-type theorems for circular definitions. Zbl 1347.03049Standefer, Shawn 8 2015 Obligation, free choice, and the logic of weakest permissions. Zbl 1375.03007Anglberger, Albert J. J.; Gratzl, Nobert; Roy, Olivier 8 2015 A purely syntactic and cut-free sequent calculus for the modal logic of provability. Zbl 1189.03071Poggiolesi, Francesca 8 2009 Logics for propositional determinacy and independence. Zbl 06965269Goranko, Valentin; Kuusisto, Antti 7 2018 Valentini’s cut-elimination for provability logic resolved. Zbl 1254.03113Goré, Rajeev; Ramanayake, Revantha 7 2012 A study of truth predicates in matrix semantics. Zbl 1439.03110Moraschini, Tommaso 7 2018 Rules for subatomic derivation. Zbl 1252.03125Więckowski, Bartosz 7 2011 Proof-theoretic semantic values for logical operators. Zbl 1248.03049Francez, Nissim; Ben-Avi, Gilad 7 2011 A probabilistic semantics for counterfactuals. Part B. Zbl 1253.03010Leitgeb, Hannes 7 2012 A decision procedure for probability calculus with applications. Zbl 1202.03022Fitelson, Branden 7 2008 On the probabilistic convention T. Zbl 1204.03010Leitgeb, Hannes 7 2008 What can a categoricity theorem tell us? Zbl 1326.03011Meadows, Toby 7 2013 Gradational accuracy and nonclassical semantics. Zbl 1261.03066Williams, J. Robert G. 7 2012 Revision revisited. Zbl 1304.03020Horsten, Leon; Leigh, Graham E.; Leitgeb, Hannes; Welch, Philip 7 2012 A Sahlqvist theorem for substructural logic. Zbl 1282.03014Suzuki, Tomoyuki 7 2013 Modal logics of metric spaces. Zbl 1371.03022Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel 7 2015 How a semantics for tonk should be. Zbl 1382.03016Fjellstad, Andreas 7 2015 Axiomatic truth, syntax and metatheoretic reasoning. Zbl 1350.03010Leigh, Graham E.; Nicolai, Carlo 7 2013 \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their ‘classical collapse’. Zbl 1315.03002Beall, Jc 7 2013 Some observations on truth hierarchies. Zbl 1329.03028Welch, P. D. 7 2014 Axioms for grounded truth. Zbl 1329.03024Schindler, Thomas 7 2014 Truth and speed-up. Zbl 1329.03090Fischer, Martin 7 2014 Unfolding finitist arithmetic. Zbl 1232.03053Feferman, Solomon; Strahm, Thomas 7 2010 Relevance logic and the calculus of relations. Zbl 1198.03029Maddux, Roger D. 7 2010 Reference in arithmetic. Zbl 06965273Picollo, Lavinia 6 2018 The lattice of super-Belnap logics. Zbl 07658883Přenosil, Adam 5 2023 Self-reference upfront: a study of self-referential Gödel numberings. Zbl 07689494Grabmayr, Balthasar; Visser, Albert 1 2023 The logic of the evidential conditional. Zbl 07576542Raidl, Eric; Iacona, Andrea; Crupi, Vincenzo 3 2022 Two level credibility-limited revisions. Zbl 1504.03012Garapa, Marco 2 2022 Epistemic multilateral logic. Zbl 07531434Incurvati, Luca; Schlöder, Julian J. 2 2022 Semantics for pure theories of connexive implication. Zbl 07576536Weiss, Yale 2 2022 The modal logic of set-theoretic potentialism and the potentialist maximality principles. Zbl 07493106Hamkins, Joel David; Linnebo, Øystein 2 2022 The modal logic of stepwise removal. Zbl 07493109van Benthem, Johan; Mierzewski, Krzysztof; Zaffora Blando, Francesca 2 2022 Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. Zbl 07531428Madarász, Judit X.; Stannett, Mike; Székely, Gergely 1 2022 Voluntary imagination: a fine-grained analysis. Zbl 07531429Canavotto, Ilaria; Berto, Francesco; Giordani, Alessandro 1 2022 Mathematical rigor and proof. Zbl 07531431Hamami, Yacin 1 2022 Mereological bimodal logics. Zbl 07613695Li, Dazhu; Wang, Yanjing 1 2022 Three model-theoretic constructions for generalized Epstein semantics. Zbl 07613701Krawczyk, Krzysztof A. 1 2022 Neighbourhood canonicity for EK, ECK, and relatives: a constructive proof. Zbl 07576537Van De Putte, Frederik; McNamara, Paul 1 2022 Difference-making conditionals and the relevant Ramsey test. Zbl 07493112Rott, Hans 1 2022 De Zolt’s postulate: an abstract approach. Zbl 1504.03011Giovannini, Eduardo N.; Haeusler, Edward H.; Lassalle-Casanave, Abel; Veloso, Paulo A. S. 1 2022 The power of naive truth. Zbl 07493115Field, Hartry 1 2022 Universism and extensions of \(V\). Zbl 1500.03002Antos, Carolin; Barton, Neil; Friedman, Sy-David 5 2021 Dependent choice, properness, and generic absoluteness. Zbl 07374094Asperó, David; Karagila, Asaf 5 2021 On the invariance of Gödel’s second theorem with regard to numberings. Zbl 1487.03070Grabmayr, Balthasar 4 2021 Natural formalization: deriving the Cantor-Bernstein theorem in ZF. Zbl 07374087Sieg, Wilfried; Walsh, Patrick 2 2021 Non-well-founded proofs for the Grzegorczyk modal logic. Zbl 1496.03086Savateev, Yury; Shamkanov, Daniyar 2 2021 Dynamic hyperintensional belief revision. Zbl 1484.03027Özgün, Aybüke; Berto, Francesco 2 2021 Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic. Zbl 1508.03091Blanck, Rasmus 1 2021 Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. Zbl 1485.03233Zach, Richard 1 2021 The elimination of atomic cuts and the semishortening property for Gentzen’s sequent calculus with equality. Zbl 1487.03064Parlamento, Franco; Previale, Flavio 1 2021 Effective inseparability, lattices, and preordering relations. Zbl 1517.03037Andrews, Uri; Sorbi, Andrea 1 2021 A fully classical truth theory characterized by substructural means. Zbl 1476.03028Pailos, Federico Matías 11 2020 Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 1506.03071Odintsov, Sergei P.; Speranski, Stanislav O. 6 2020 A recovery operator for nontransitive approaches. Zbl 1452.03062Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian 4 2020 Varieties of De Morgan monoids: covers of atoms. Zbl 1484.03038Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. 4 2020 Peirce’s calculi for classical propositional logic. Zbl 1485.03017Ma, Minghui; Pietarinen, Ahti-Veikko 4 2020 Distances between formal theories. Zbl 1485.03079Khaled, Mohamed; Székely, Gergely; Lefever, Koen; Friend, Michèle 4 2020 A note on the cut-elimination proof in “Truth without contra(di)ction”. Zbl 1473.03035Fjellstad, Andreas 4 2020 Syllogistic logic with cardinality comparisons, on infinite sets. Zbl 1455.03039Moss, Lawrence S.; Topal, Selçuk 3 2020 Nonrepresentable relation algebras from groups. Zbl 1477.03262Andréka, Hajnal; Németi, István; Givant, Steven 3 2020 Motivated proofs: what they are, why they matter and how to write them. Zbl 1437.00025Morris, Rebecca Lea 2 2020 Modularity in mathematics. Zbl 1439.00026Avigad, Jeremy 2 2020 Formal representations of dependence and groundedness. Zbl 1484.03010Rivello, Edoardo 2 2020 Mechanizing Principia logico-metaphysica in functional type-theory. Zbl 1484.03020Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. 2 2020 Another look at the second incompleteness theorem. Zbl 1444.03168Visser, Albert 2 2020 Generic large cardinals as axioms. Zbl 1484.03113Eskew, Monroe 2 2020 Hereditarily structurally complete positive logics. Zbl 1485.03062Citkin, Alex 2 2020 Incompleteness via paradox and completeness. Zbl 1485.03244Dean, Walter 2 2020 Three characterizations of strict coherence on infinite-valued events. Zbl 1485.03058Flaminio, Tommaso 2 2020 Logic and topology for knowledge, knowability, and belief. Zbl 1473.03010Bjorndahl, Adam; Özgün, Aybüke 2 2020 The peripatetic program in categorical logic: Leibniz on propositional terms. Zbl 1452.03014Malink, Marko; Vasudevan, Anubav 1 2020 Standard Bayes logic is not finitely axiomatizable. Zbl 1452.03051Gyenis, Zalán 1 2020 Substitution in relevant logics. Zbl 1476.03027Øgaard, Tore Fjetland 1 2020 Proof systems for various FDE-based modal logics. Zbl 1479.03013Drobyshevich, Sergey; Wansing, Heinrich 1 2020 Suszko’s problem: mixed consequence and compositionality. Zbl 07171844Chemla, Emmanuel; Égré, Paul 10 2019 Substructural inquisitive logics. Zbl 07063893Punčochář, Vít 8 2019 Generality and existence 1: quantification and free logic. Zbl 07063877Restall, Greg 6 2019 Complete additivity and modal incompleteness. Zbl 07124571Holliday, Wesley H.; Litak, Tadeusz 5 2019 Logic for exact entailment. Zbl 1454.03031Fine, Kit; Jago, Mark 4 2019 Rexpansions of nondeterministic matrices and their applications in nonclassical logics. Zbl 07063885Avron, Arnon; Zohar, Yoni 4 2019 Proof-theoretic analysis of the quantified argument calculus. Zbl 07171840Pavlović, Edi; Gratzl, Norbert 3 2019 Cut elimination in hypersequent calculus for some logics of linear time. Zbl 07171848Indrzejczak, Andrzej 3 2019 Some observations about generalized quantifiers in logics of imperfect information. Zbl 07124570Barbero, Fausto 3 2019 A note on the reverse mathematics of the sorites. Zbl 07063880Dzhafarov, Damir D. 3 2019 Natural axioms for classical mereology. Zbl 07063886Cotnoir, A. J.; Varzi, Achille C. 3 2019 Everyone knows that someone knows: quantifiers over epistemic agents. Zbl 07063891Naumov, Pavel; Tao, Jia 3 2019 Modal logic without contraction in a metatheory without contraction. Zbl 1443.03014Girard, Patrick; Weber, Zach 2 2019 Universes and univalence in homotopy type theory. Zbl 07124569Ladyman, James; Presnell, Stuart 2 2019 Frege’s constraint and the nature of Frege’s foundational program. Zbl 1411.00030Panza, Marco; Sereni, Andrea 2 2019 A unified theory of truth and paradox. Zbl 07063890Rossi, Lorenzo 2 2019 Completeness for counter-doxa conditionals – using ranking semantics. Zbl 1442.03004Raidl, Eric 1 2019 Modality and expressibility. Zbl 07171843Mandelkern, Matthew 1 2019 Dynamic graded epistemic logic. Zbl 07171847Ma, Minghui; van Ditmarsch, Hans 1 2019 First-order possibility models and finitary completeness proofs. Zbl 07171849Harrison-Trainor, Matthew 1 2019 Models of positive truth. Zbl 1454.03092Łełyk, Mateusz; Wcisło, Bartosz 1 2019 Capturing consequence. Zbl 07063892Paseau, Alexander 1 2019 An abstract approach to consequence relations. Zbl 1445.03076Cintula, Petr; Gil-Férez, José; Moraschini, Tommaso; Paoli, Francesco 1 2019 On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 1477.03095Omori, Hitoshi; Wansing, Heinrich 9 2018 The logic of resources and capabilities. Zbl 1506.03065Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem 8 2018 Logics for propositional determinacy and independence. Zbl 06965269Goranko, Valentin; Kuusisto, Antti 7 2018 A study of truth predicates in matrix semantics. Zbl 1439.03110Moraschini, Tommaso 7 2018 Reference in arithmetic. Zbl 06965273Picollo, Lavinia 6 2018 Mathematical inference and logical inference. Zbl 1434.00030Hamami, Yacin 5 2018 A Dutch book theorem and converse Dutch book theorem for Kolmogorov conditionalization. Zbl 1477.60010Rescorla, Michael 5 2018 Hilbert, duality, and the geometrical roots of model theory. Zbl 06866168Eder, Günther; Schiemer, Georg 4 2018 Conditional beliefs: from neighbourhood semantics to sequent calculus. Zbl 1445.03015Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent 4 2018 Compliance and command. II: Imperatives and deontics. Zbl 1477.03050Fine, Kit 3 2018 Many-valued logic of informal provability: a non-deterministic strategy. Zbl 1502.03005Pawlowski, Pawel; Urbaniak, Rafal 3 2018 Believing epistemic contradictions. Zbl 06866169Beddor, Bob; Goldstein, Simon 2 2018 Tychonoff HED-spaces and Zemanian extensions of \(\mathsf{S4.3}\). Zbl 06866170Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; Van Mill, Jan 2 2018 Logicality and meaning. Zbl 06866171Sagi, Gil 2 2018 Stable modal logics. Zbl 06965268Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia 2 2018 Triangulating non-Archimedean probability. Zbl 06965271Brickhill, Hazel; Horsten, Leon 2 2018 Strict finitism, feasibility, and the sorites. Zbl 1506.03015Dean, Walter 2 2018 An analysis of the rules of Gentzen’s \(\mathbf{NJ}\) and \(\mathbf{LJ}\). Zbl 1506.03119Borisavljević, Mirjana 2 2018 Pure logic of iterated full ground. Zbl 06965267Litland, Jon Erling 1 2018 Completeness of second-order propositional S4 and H in topological semantics. Zbl 1475.03079Kremer, Philip 1 2018 The concept horse is a concept. Zbl 06965272Klev, Ansten 1 2018 Another arithmetic of the even and the odd. Zbl 1439.03103Schacht, Celia 1 2018 Classically archetypal rules. Zbl 1506.03059Połacik, Tomasz; Humberstone, Lloyd 1 2018 Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009Petrukhin, Yaroslav; Shangin, Vasily 18 2017 Instantial neighbourhood logic. Zbl 1417.03162van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua 11 2017 Action types in stit semantics. Zbl 1421.03006Horty, John; Pacuit, Eric 11 2017 Notes on bounded induction for the compositional truth predicate. Zbl 1421.03028Wcisło, Bartosz; Łełyk, Mateusz 9 2017 ...and 268 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,210 Authors 30 van Ditmarsch, Hans Pieter 22 Petrukhin, Yaroslav Igorevich 21 Wansing, Heinrich Theodor 20 Bezhanishvili, Nick 19 Bezhanishvili, Guram 15 Pietarinen, Ahti-Veikko 14 Fan, Jie 14 Francez, Nissim 14 Poggiolesi, Francesca 14 Wang, Yanjing 13 Visser, Albert 12 Pailos, Federico Matias 11 Fritz, Peter 11 Nicolai, Carlo 10 Friedman, Sy-David 10 Kuznets, Roman 10 Lucero-Bryan, Joel Gregory 10 Palmigiano, Alessandra 10 Rossi, Lorenzo Paolo 10 Weber, Zach 10 Zardini, Elia 9 Égré, Paul 9 Fjellstad, Andreas 9 Gabbay, Dov M. 9 Katz, Mikhail G. 9 Moraschini, Tommaso 9 Moss, Lawrence S. 9 Omori, Hitoshi 9 Ripley, David 9 Schippers, Michael 9 Shapiro, Stewart 9 Szmuc, Damian Enrique 9 van Benthem, Johan F. A. K. 8 Ågotnes, Thomas 8 Carnielli, Walter Alexandre 8 Gratzl, Norbert 8 Hansson, Sven Ove 8 Horsten, Leon 8 Linnebo, Øystein 8 Priest, Graham 8 Studer, Thomas 8 Venturi, Giorgio 7 Artemov, Sergei 7 Badia, Guillermo 7 Barbero, Fausto 7 Barrio, Eduardo Alejandro 7 Barton, Neil 7 Da Ré, Bruno 7 Fervari, Raul 7 Giordani, Alessandro 7 Gyenis, Zalán 7 Humberstone, Lloyd 7 Indrzejczak, Andrzej 7 Kamide, Norihiro 7 Leitgeb, Hannes 7 Schurz, Gerhard 7 Shangin, Vasily 7 Standefer, Shawn 7 Tennant, Neil W. 7 Ternullo, Claudio 7 van Mill, Jan 7 van Rooy, Robert 7 Yang, Fan 6 Andréka, Hajnal 6 Beall, Jc 6 Carrara, Massimiliano 6 Coniglio, Marcelo Esteban 6 Ellerman, David P. 6 Fujimoto, Kentaro 6 Galimullin, Rustam 6 Greco, Giuseppe 6 Halpern, Joseph Yehuda 6 Hamkins, Joel David 6 Kurahashi, Taishi 6 Ma, Minghui 6 Naumov, Pavel G. 6 Negri, Sara 6 Odintsov, Sergei P. 6 Panza, Marco 6 Ramanayake, Revantha 6 Roche, William A. 6 Rosenblatt, Lucas Daniel 6 Sedlár, Igor 6 Tarafder, Sourav 6 Tranchini, Luca 6 Väänänen, Jouko Antero 6 Velázquez-Quesada, Fernando Raymundo 5 Areces, Carlos 5 Başkent, Can 5 Beeson, Michael J. 5 Bellucci, Francesco 5 Cobreros, Pablo 5 Conradie, Willem 5 Dyckhoff, Roy 5 Fitting, Melvin Chris 5 Hamami, Yacin 5 Iemhoff, Rosalie 5 Janičić, Predrag 5 Jansana, Ramon 5 Klev, Ansten Mørch ...and 1,110 more Authors all top 5 Cited in 109 Journals 182 The Review of Symbolic Logic 168 Journal of Philosophical Logic 131 Synthese 120 Studia Logica 54 Annals of Pure and Applied Logic 48 Notre Dame Journal of Formal Logic 41 Journal of Applied Non-Classical Logics 39 Journal of Logic, Language and Information 33 Erkenntnis 33 Logica Universalis 30 Logic and Logical Philosophy 25 The Journal of Symbolic Logic 25 The Bulletin of Symbolic Logic 20 Journal of Applied Logic 17 Topoi 16 Artificial Intelligence 16 Archive for Mathematical Logic 15 Annals of Mathematics and Artificial Intelligence 13 History and Philosophy of Logic 13 Mathematical Logic Quarterly (MLQ) 12 Algebra Universalis 12 Foundations of Science 9 Theoretical Computer Science 9 Information and Computation 9 Journal of Logical and Algebraic Methods in Programming 8 Bulletin of the Section of Logic 8 Journal of Automated Reasoning 8 Indagationes Mathematicae. New Series 7 Nôus 6 Fuzzy Sets and Systems 6 International Journal of Approximate Reasoning 6 Logical Methods in Computer Science 5 Journal of Computer and System Sciences 5 ACM Transactions on Computational Logic 5 Foundations of Physics 4 Moscow University Mathematics Bulletin 4 Mathematical Social Sciences 4 Games and Economic Behavior 4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 4 Logicheskie Issledovaniya 3 The Mathematical Intelligencer 3 MSCS. Mathematical Structures in Computer Science 3 Theory of Computing Systems 2 Archive for History of Exact Sciences 2 International Journal of Theoretical Physics 2 Algebra and Logic 2 Bulletin of the London Mathematical Society 2 Information Sciences 2 AI Communications 2 Applied Categorical Structures 2 Oberwolfach Reports 2 European Journal for Philosophy of Science 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 Notes 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Reports on Mathematical Physics 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 Geometry 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 Theory and Decision 1 Transactions of the American Mathematical Society 1 Theoria. Segunda Epoca 1 Annals of Operations Research 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 Sbornik: Mathematics 1 Soft Computing 1 Journal for Geometry and Graphics 1 Matematychni Studiï 1 Advances in Geometry 1 International Studies in the Philosophy of Science 1 Entropy 1 Mediterranean Journal of Mathematics 1 Advances in Difference Equations 1 Iranian Journal of Fuzzy Systems 1 International Journal of Semantic Computing 1 Journal of Logic and Analysis 1 Antiquitates Mathematicae 1 Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica 1 Philosophy of Science 1 Computability 1 Axioms 1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki ...and 9 more Journals all top 5 Cited in 37 Fields 1,399 Mathematical logic and foundations (03-XX) 175 Computer science (68-XX) 108 General and overarching topics; collections (00-XX) 92 History and biography (01-XX) 51 Order, lattices, ordered algebraic structures (06-XX) 38 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 36 Geometry (51-XX) 33 Probability theory and stochastic processes (60-XX) 27 Category theory; homological algebra (18-XX) 20 General topology (54-XX) 16 General algebraic systems (08-XX) 16 Quantum theory (81-XX) 15 Statistics (62-XX) 7 Combinatorics (05-XX) 7 Relativity and gravitational theory (83-XX) 7 Information and communication theory, circuits (94-XX) 6 Real functions (26-XX) 5 Field theory and polynomials (12-XX) 5 Group theory and generalizations (20-XX) 5 Algebraic topology (55-XX) 5 Mathematics education (97-XX) 4 Number theory (11-XX) 4 Commutative algebra (13-XX) 4 Measure and integration (28-XX) 4 Functional analysis (46-XX) 3 Associative rings and algebras (16-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Differential geometry (53-XX) 2 Mechanics of particles and systems (70-XX) 2 Operations research, mathematical programming (90-XX) 1 Algebraic geometry (14-XX) 1 \(K\)-theory (19-XX) 1 Sequences, series, summability (40-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Citations by Year