## The Review of Symbolic Logic

### Published 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: Indexed cover-to-cover
 Documents Indexed: 482 Publications (since 2008) References Indexed: 463 Publications with 13,896 References.
all top 5

### Latest Issues

 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

 7 Halpern, Joseph Yehuda 6 Bezhanishvili, Guram 6 Field, Hartry H. 6 Shapiro, Stewart 6 Visser, Albert 5 Bezhanishvili, Nick 5 Fritz, Peter 5 Tennant, Neil W. 4 Berto, Francesco 4 Fine, Kit 4 Fischer, Martin J. 4 Francez, Nissim 4 Gabbay, Dov M. 4 Halbach, Volker 4 Kremer, Philip 4 Leitgeb, Hannes 4 Linnebo, Øystein 4 Moraschini, Tommaso 4 Priest, Graham 4 Ripley, David 4 van Ditmarsch, Hans Pieter 4 Walsh, Sean 4 Weber, Zach 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 Gratzl, Norbert 3 Hamami, Yacin 3 Hellman, Geoffrey 3 Hodkinson, Ian Martin 3 Horsten, Leon 3 Incurvati, Luca 3 Kanckos, Annika 3 Kooi, Barteld Pieter 3 Łełyk, Mateusz 3 Leo, Joop 3 Maddux, Roger D. 3 Mancosu, Paolo 3 Morris, Rebecca Lea 3 Moss, Lawrence S. 3 Olkhovikov, Grigory K. 3 Özgün, Aybüke 3 Renne, Bryan 3 Schlechta, Karl 3 Sorbi, Andrea 3 Stern, Johannes 3 Székely, Gergely 3 Wansing, Heinrich Theodor 3 Wcisło, Bartosz 3 Williams, J. Robert G. 2 Amidei, Jacopo 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 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 Gyenis, Zalán 2 Hájek, Petr 2 Hamkins, Joel David 2 Hirsch, Robin 2 Humberstone, Lloyd 2 Klev, Ansten Mørch 2 Kurahashi, Taishi 2 Ladyman, James 2 Leach-Krouse, Graham 2 Lederman, Harvey 2 Leigh, Graham Emil 2 Löwe, Benedikt 2 Lucero-Bryan, Joel Gregory 2 Ma, Minghui 2 Madarász, Judit X. 2 Maddy, Penelope J. 2 Malink, Marko 2 Mares, Edwin D. 2 Martino, Enrico 2 Marty, Paul 2 McCarty, Charles ...and 392 more Authors
all top 5

### Fields

 471 Mathematical logic and foundations (03-XX) 40 General and overarching topics; collections (00-XX) 34 History and biography (01-XX) 18 Computer science (68-XX) 14 Probability theory and stochastic processes (60-XX) 11 Category theory; homological algebra (18-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 7 General topology (54-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Geometry (51-XX) 4 Statistics (62-XX) 4 Mathematics education (97-XX) 3 Group theory and generalizations (20-XX) 2 Measure and integration (28-XX) 2 Quantum theory (81-XX) 2 Relativity and gravitational theory (83-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Information and communication theory, circuits (94-XX)

### Citations contained in zbMATH Open

335 Publications have been cited 1,762 times in 1,270 Documents Cited by Year
The logic of justification. Zbl 1205.03027
Artemov, Sergei
2008
Conservatively extending classical logic with transparent truth. Zbl 1248.03012
Ripley, David
2012
A formal system for Euclid’s Elements. Zbl 1188.03008
Avigad, Jeremy; Dean, Edward; Mumma, John
2009
‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019
Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago
2008
Truth without contra(di)ction. Zbl 1252.03018
Zardini, Elia
2011
The pure logic of ground. Zbl 1250.03010
Fine, Kit
2012
The set-theoretic multiverse. Zbl 1260.03103
Hamkins, Joel David
2012
Transfinite numbers in paraconsistent set theory. Zbl 1197.03026
Weber, Zach
2010
Contingency and knowing whether. Zbl 1375.03023
Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans
2015
A logic for ‘because’. Zbl 1253.03020
Schnieder, Benjamin
2011
Arrow update logic. Zbl 1252.03034
Kooi, Barteld; Renne, Bryan
2011
Logics for the relational syllogistic. Zbl 1189.03014
Pratt-Hartmann, Ian; Moss, Lawrence S.
2009
Multiple-conclusion LP and default classicality. Zbl 1252.03008
Beall, Jc
2011
The potential hierarchy of sets. Zbl 1283.03085
Linnebo, Øystein
2013
Completeness via correspondence for extensions of the logic of paradox. Zbl 1270.03045
Kooi, Barteld; Tamminga, Allard
2012
A cut-free simple sequent calculus for modal logic S5. Zbl 1204.03024
Poggiolesi, Francesca
2008
Logical grounds. Zbl 1344.03005
Correia, Fabrice
2014
Many-valued modal logics: a simple approach. Zbl 1206.03022
Priest, Graham
2008
Existential graphs as an instrument of logical analysis. I: Alpha. Zbl 1381.03003
Bellucci, Francesco; Pietarinen, Ahti-Veikko
2016
Quantum team logic and Bell’s inequalities. Zbl 1371.03098
Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko
2015
Morita equivalence. Zbl 1397.03017
Barrett, Thomas William; Halvorson, Hans
2016
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
2009
Ultimate truth vis-à-vis stable truth. Zbl 1204.03016
Welch, P. D.
2008
Reducing compositional to disquotational truth. Zbl 1188.03004
Halbach, Volker
2009
Pluralism in logic. Zbl 1184.03004
Field, Hartry
2009
Axiomatizing semantic theories of truth? Zbl 1350.03009
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes
2015
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
2016
Transfinite cardinals in paraconsistent set theory. Zbl 1262.03109
Weber, Zach
2012
An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065
Bezhanishvili, Guram; Bezhanishvili, Nick
2009
Quantified logic of awareness and impossible possible worlds. Zbl 1205.03016
Sillari, Giacomo
2008
Measuring the size of infinite collections of natural numbers: was Cantor’s theory of infinite number inevitable? Zbl 1204.03003
Mancosu, Paolo
2009
Strong completeness of S4 for any dense-in-itself metric space. Zbl 1326.03025
Kremer, Philip
2013
Naive truth and naive logical properties. Zbl 1345.03014
Zardini, Elia
2014
Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009
Petrukhin, Yaroslav; Shangin, Vasily
2017
O is not enough. Zbl 1175.03017
Paris, J. B.; Simmonds, R.
2009
A probabilistic semantics for counterfactuals. Part A. Zbl 1253.03009
Leitgeb, Hannes
2012
Self-reference in arithmetic. I. Zbl 1337.03008
Halbach, Volker; Visser, Albert
2014
Minimal truth and interpretability. Zbl 1188.03003
Fischer, Martin
2009
Bolzano’s concept of grounding (Abfolge) against the background of normal proofs. Zbl 1288.03005
Rumberg, Antje
2013
The classical continuum without points. Zbl 1326.03019
Hellman, Geoffrey; Shapiro, Stewart
2013
Naive truth and restricted quantification: saving truth a whole lot better. Zbl 1329.03015
Field, Hartry
2014
A machine-assisted proof of Gödel’s incompleteness theorems for the theory of hereditarily finite sets. Zbl 1337.03021
Paulson, Lawrence C.
2014
Cut for core logic. Zbl 1256.03059
Tennant, Neil
2012
Pasch’s philosophy of mathematics. Zbl 1193.03002
Schlimm, Dirk
2010
The logic of partitions: introduction to the dual of the logic of subsets. Zbl 1211.03101
Ellerman, David
2010
Axioms for determinateness and truth. Zbl 1204.03007
Feferman, Solomon
2008
Self-reference in arithmetic. II. Zbl 1337.03009
Halbach, Volker; Visser, Albert
2014
Merging of opinions and probability kinematics. Zbl 1375.03027
Huttegger, Simon M.
2015
Canonicity results of substructural and lattice-based logics. Zbl 1229.03023
Suzuki, Tomoyuki
2011
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
2017
Further results on the intransitivity of evidential support. Zbl 1234.03005
Douven, Igor
2011
On the relationship between plane and solid geometry. Zbl 1242.51001
Arana, Andrew; Mancosu, Paolo
2012
Action types in stit semantics. Zbl 1421.03006
Horty, John; Pacuit, Eric
2017
Generalized algebra-valued models of set theory. Zbl 1375.03066
Löwe, Benedikt; Tarafder, Sourav
2015
On the logic of factual equivalence. Zbl 1386.03027
Correia, Fabrice
2016
We hold these truths to be self-evident: but what do we mean by that? Zbl 1170.03003
Shapiro, Stewart
2009
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. Zbl 1335.03023
Cintula, Petr; Horčík, Rostislav; Noguera, Carles
2013
Non-wellfounded mereology. Zbl 1259.03009
Cotnoir, Aaron J.; Bacon, Andrew
2012
General properties of Bayesian learning as statistical inference determined by conditional expectations. Zbl 1417.03113
Gyenis, Zalán; Rédei, Miklós
2017
Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010
Gabbay, Dov M.; Schlechta, Karl
2009
Cardinal arithmetic in the style of Baron von Münchhausen. Zbl 1185.03088
Visser, Albert
2009
On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 1477.03095
Omori, Hitoshi; Wansing, Heinrich
2018
Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023
Awodey, Steve; Kishida, Kohei
2008
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
2015
Reflexive-insensitive modal logics. Zbl 1353.03011
Gilbert, David R.; Venturi, Giorgio
2016
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
2016
On weak ground. Zbl 1339.03006
Derosset, Louis
2014
The logic of resources and capabilities. Zbl 06914167
Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem
2018
Solovay-type theorems for circular definitions. Zbl 1347.03049
Standefer, Shawn
2015
Model-theoretic characterization of intuitionistic propositional formulas. Zbl 1280.03010
Olkhovikov, Grigory K.
2013
Some observations on truth hierarchies. Zbl 1329.03028
Welch, P. D.
2014
On flattening elimination rules. Zbl 1329.03087
Olkhovikov, Grigory K.; Schroeder-Heister, Peter
2014
Axioms for grounded truth. Zbl 1329.03024
Schindler, Thomas
2014
A probabilistic semantics for counterfactuals. Part B. Zbl 1253.03010
Leitgeb, Hannes
2012
Proof-theoretic semantic values for logical operators. Zbl 1248.03049
2011
Revision revisited. Zbl 1304.03020
Horsten, Leon; Leigh, Graham E.; Leitgeb, Hannes; Welch, Philip
2012
Sequent calculi for some trilattice logics. Zbl 1174.03008
Kamide, Norihiro; Wansing, Heinrich
2009
A decision procedure for probability calculus with applications. Zbl 1202.03022
Fitelson, Branden
2008
On the probabilistic convention T. Zbl 1204.03010
Leitgeb, Hannes
2008
Remarks on naive set theory based on $$\mathbf{LP}$$. Zbl 1350.03024
Omori, Hitoshi
2015
Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 07193994
Odintsov, Sergei P.; Speranski, Stanislav O.
2020
How a semantics for tonk should be. Zbl 1382.03016
2015
Obligation, free choice, and the logic of weakest permissions. Zbl 1375.03007
Anglberger, Albert J. J.; Gratzl, Nobert; Roy, Olivier
2015
Substructural inquisitive logics. Zbl 07063893
Punčochář, Vít
2019
Unfolding finitist arithmetic. Zbl 1232.03053
Feferman, Solomon; Strahm, Thomas
2010
Outcome level analysis of belief contraction. Zbl 1272.03022
Hansson, Sven Ove
2013
A Sahlqvist theorem for substructural logic. Zbl 1282.03014
Suzuki, Tomoyuki
2013
A purely syntactic and cut-free sequent calculus for the modal logic of provability. Zbl 1189.03071
Poggiolesi, Francesca
2009
Axiomatic truth, syntax and metatheoretic reasoning. Zbl 1350.03010
Leigh, Graham E.; Nicolai, Carlo
2013
Logicism, interpretability, and knowledge of arithmetic. Zbl 1345.03013
Walsh, Sean
2014
Identity and discernibility in philosophy and logic. Zbl 1252.03013
Ladyman, James; Linnebo, Øystein; Pettigrew, Richard
2012
Valentini’s cut-elimination for provability logic resolved. Zbl 1254.03113
Goré, Rajeev; Ramanayake, Revantha
2012
Transitivity and intransitivity in evidential support: some further results. Zbl 1259.03016
Roche, William
2012
Rules for subatomic derivation. Zbl 1252.03125
Więckowski, Bartosz
2011
The expressive power of memory logics. Zbl 1247.03027
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio
2011
Generalizations of Gödel’s incompleteness theorems for $$\Sigma_n$$-definable theories of arithmetic. Zbl 1426.03038
Kikuchi, Makoto; Kurahashi, Taishi
2017
Relevance logic and the calculus of relations. Zbl 1198.03029
2010
The iterative conception of set. Zbl 1204.03008
Forster, Thomas
2008
Intransitivity and vagueness. Zbl 1198.03011
Halpern, Joseph Y.
2008
Proof analysis for Lewis counterfactuals. Zbl 1386.03028
Negri, Sara; Sbardolini, Giorgio
2016
The modal logic of set-theoretic potentialism and the potentialist maximality principles. Zbl 07493106
Hamkins, Joel David; Linnebo, Øystein
2022
The modal logic of stepwise removal. Zbl 07493109
van Benthem, Johan; Mierzewski, Krzysztof; Zaffora Blando, Francesca
2022
Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. Zbl 07531428
Madarász, Judit X.; Stannett, Mike; Székely, Gergely
2022
Natural formalization: deriving the Cantor-Bernstein theorem in ZF. Zbl 07374087
Sieg, Wilfried; Walsh, Patrick
2021
On the invariance of Gödel’s second theorem with regard to numberings. Zbl 1487.03070
Grabmayr, Balthasar
2021
Universism and extensions of $$V$$. Zbl 07374092
Antos, Carolin; Barton, Neil; Friedman, Sy-David
2021
Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic. Zbl 07464264
Blanck, Rasmus
2021
Dynamic hyperintensional belief revision. Zbl 1484.03027
Özgün, Aybüke; Berto, Francesco
2021
The elimination of atomic cuts and the semishortening property for Gentzen’s sequent calculus with equality. Zbl 1487.03064
Parlamento, Franco; Previale, Flavio
2021
Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 07193994
Odintsov, Sergei P.; Speranski, Stanislav O.
2020
Syllogistic logic with cardinality comparisons, on infinite sets. Zbl 1455.03039
Moss, Lawrence S.; Topal, Selçuk
2020
A note on the cut-elimination proof in “Truth without contra(di)ction”. Zbl 1473.03035
2020
Formal representations of dependence and groundedness. Zbl 1484.03010
Rivello, Edoardo
2020
A fully classical truth theory characterized by substructural means. Zbl 1476.03028
Pailos, Federico Matías
2020
Another look at the second incompleteness theorem. Zbl 1444.03168
Visser, Albert
2020
Peirce’s calculi for classical propositional logic. Zbl 1485.03017
Ma, Minghui; Pietarinen, Ahti-Veikko
2020
Distances between formal theories. Zbl 1485.03079
Khaled, Mohamed; Székely, Gergely; Lefever, Koen; Friend, Michèle
2020
Motivated proofs: what they are, why they matter and how to write them. Zbl 1437.00025
Morris, Rebecca Lea
2020
Modularity in mathematics. Zbl 1439.00026
2020
The peripatetic program in categorical logic: Leibniz on propositional terms. Zbl 1452.03014
2020
Mechanizing Principia logico-metaphysica in functional type-theory. Zbl 1484.03020
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.
2020
Varieties of De Morgan monoids: covers of atoms. Zbl 1484.03038
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J.
2020
Generic large cardinals as axioms. Zbl 1484.03113
Eskew, Monroe
2020
Incompleteness via paradox and completeness. Zbl 1485.03244
Dean, Walter
2020
Three characterizations of strict coherence on infinite-valued events. Zbl 1485.03058
Flaminio, Tommaso
2020
Substitution in relevant logics. Zbl 1476.03027
Øgaard, Tore Fjetland
2020
Proof systems for various FDE-based modal logics. Zbl 1479.03013
Drobyshevich, Sergey; Wansing, Heinrich
2020
Nonrepresentable relation algebras from groups. Zbl 1477.03262
Andréka, Hajnal; Németi, István; Givant, Steven
2020
Substructural inquisitive logics. Zbl 07063893
Punčochář, Vít
2019
Suszko’s problem: mixed consequence and compositionality. Zbl 07171844
Chemla, Emmanuel; Égré, Paul
2019
Generality and existence 1: quantification and free logic. Zbl 07063877
Restall, Greg
2019
Rexpansions of nondeterministic matrices and their applications in nonclassical logics. Zbl 07063885
Avron, Arnon; Zohar, Yoni
2019
Cut elimination in hypersequent calculus for some logics of linear time. Zbl 07171848
Indrzejczak, Andrzej
2019
A note on the reverse mathematics of the sorites. Zbl 07063880
Dzhafarov, Damir D.
2019
Some observations about generalized quantifiers in logics of imperfect information. Zbl 07124570
Barbero, Fausto
2019
Logic for exact entailment. Zbl 1454.03031
Fine, Kit; Jago, Mark
2019
Modal logic without contraction in a metatheory without contraction. Zbl 1443.03014
Girard, Patrick; Weber, Zach
2019
Natural axioms for classical mereology. Zbl 07063886
Cotnoir, A. J.; Varzi, Achille C.
2019
Everyone knows that someone knows: quantifiers over epistemic agents. Zbl 07063891
Naumov, Pavel; Tao, Jia
2019
Complete additivity and modal incompleteness. Zbl 07124571
2019
Proof-theoretic analysis of the quantified argument calculus. Zbl 07171840
Pavlović, Edi; Gratzl, Norbert
2019
Completeness for counter-doxa conditionals – using ranking semantics. Zbl 1442.03004
Raidl, Eric
2019
Modality and expressibility. Zbl 07171843
Mandelkern, Matthew
2019
Frege’s constraint and the nature of Frege’s foundational program. Zbl 1411.00030
Panza, Marco; Sereni, Andrea
2019
A unified theory of truth and paradox. Zbl 07063890
Rossi, Lorenzo
2019
An abstract approach to consequence relations. Zbl 1445.03076
Cintula, Petr; Gil-Férez, José; Moraschini, Tommaso; Paoli, Francesco
2019
On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 1477.03095
Omori, Hitoshi; Wansing, Heinrich
2018
The logic of resources and capabilities. Zbl 06914167
Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem
2018
Logics for propositional determinacy and independence. Zbl 06965269
Goranko, Valentin; Kuusisto, Antti
2018
Mathematical inference and logical inference. Zbl 1434.00030
Hamami, Yacin
2018
A Dutch book theorem and converse Dutch book theorem for Kolmogorov conditionalization. Zbl 1477.60010
Rescorla, Michael
2018
A study of truth predicates in matrix semantics. Zbl 1439.03110
Moraschini, Tommaso
2018
Conditional beliefs: from neighbourhood semantics to sequent calculus. Zbl 1445.03015
Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent
2018
Many-valued logic of informal provability: a non-deterministic strategy. Zbl 06914162
Pawlowski, Pawel; Urbaniak, Rafal
2018
Stable modal logics. Zbl 06965268
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
2018
Reference in arithmetic. Zbl 06965273
Picollo, Lavinia
2018
Hilbert, duality, and the geometrical roots of model theory. Zbl 06866168
Eder, Günther; Schiemer, Georg
2018
Beddor, Bob; Goldstein, Simon
2018
Tychonoff $$\mathsf{HED}$$-spaces and Zemanian extensions of $$\mathsf{S4.3}$$. Zbl 06866170
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; Van Mill, Jan
2018
Logicality and meaning. Zbl 06866171
Sagi, Gil
2018
Triangulating non-Archimedean probability. Zbl 06965271
Brickhill, Hazel; Horsten, Leon
2018
Compliance and command. II: Imperatives and deontics. Zbl 1477.03050
Fine, Kit
2018
Classically archetypal rules. Zbl 06914164
Połacik, Tomasz; Humberstone, Lloyd
2018
Strict finitism, feasibility, and the sorites. Zbl 06914165
Dean, Walter
2018
Pure logic of iterated full ground. Zbl 06965267
Litland, Jon Erling
2018
Completeness of second-order propositional S4 and H in topological semantics. Zbl 1475.03079
Kremer, Philip
2018
Another arithmetic of the even and the odd. Zbl 1439.03103
Schacht, Celia
2018
Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009
Petrukhin, Yaroslav; Shangin, Vasily
2017
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
2017
Action types in stit semantics. Zbl 1421.03006
Horty, John; Pacuit, Eric
2017
General properties of Bayesian learning as statistical inference determined by conditional expectations. Zbl 1417.03113
Gyenis, Zalán; Rédei, Miklós
2017
Generalizations of Gödel’s incompleteness theorems for $$\Sigma_n$$-definable theories of arithmetic. Zbl 1426.03038
Kikuchi, Makoto; Kurahashi, Taishi
2017
Notes on bounded induction for the compositional truth predicate. Zbl 1421.03028
Wcisło, Bartosz; Łełyk, Mateusz
2017
Analytic cut and interpolation for bi-intuitionistic logic. Zbl 1417.03280
Kowalski, Tomasz; Ono, Hiroakira
2017
Orthomodular-valued models for quantum set theory. Zbl 1421.03026
Ozawa, Masanao
2017
Models of $$\mathrm{PT}^-$$ with internal induction for total formulae. Zbl 1417.03294
Cieśliński, Cezary; Łełyk, Mateusz; Wcisło, Bartosz
2017
Logics for propositional contingentism. Zbl 1373.03021
Fritz, Peter
2017
Nonconglomerability for countably additive measures that are not $$\kappa$$-additive. Zbl 1417.60002
Schervish, Mark J.; Seidenfeld, Teddy; Kadane, Joseph B.
2017
The prehistory of the subsystems of second-order arithmetic. Zbl 1376.03005
Dean, Walter; Walsh, Sean
2017
Ibn Sīnā on reductio ad absurdum. Zbl 1421.03002
Hodges, Wilfrid
2017
Point-free geometry, ovals, and half-planes. Zbl 1368.03017
Gerla, Giangiacomo; Gruszczyński, Rafał
2017
Categorical harmony and path induction. Zbl 1384.03093
Walsh, Patrick
2017
Husserl and Gödel’s incompleteness theorems. Zbl 1431.01017
Hartimo, Mirja
2017
A strong reflection principle. Zbl 1437.03148
Roberts, Sam
2017
What Russell should have said to Burali-Forti. Zbl 1417.03064
Florio, Salvatore; Leach-Krouse, Graham
2017
Uniform definability in propositional dependence logic. Zbl 1417.03204
Yang, Fan
2017
‘Chasing’ the diagram – the use of visualizations in algebraic reasoning. Zbl 1417.00070
De Toffoli, Silvia
2017
Strongly Millian second-order modal logics. Zbl 1421.03009
Jacinto, Bruno
2017
Counterfactuals and propositional contingentism. Zbl 1421.03008
Fritz, Peter; Goodman, Jeremy
2017
Three different formalisations of Einstein’s relativity principle. Zbl 1421.03004
Madarász, Judit X.; Székely, Gergely; Stannett, Mike
2017
A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL. Zbl 1421.03013
Lanzet, Ran
2017
Equivalences for truth predicates. Zbl 1417.03293
Nicolai, Carlo
2017
Existential graphs as an instrument of logical analysis. I: Alpha. Zbl 1381.03003
Bellucci, Francesco; Pietarinen, Ahti-Veikko
2016
Morita equivalence. Zbl 1397.03017
Barrett, Thomas William; Halvorson, Hans
2016
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
2016
On the logic of factual equivalence. Zbl 1386.03027
Correia, Fabrice
2016
Reflexive-insensitive modal logics. Zbl 1353.03011
Gilbert, David R.; Venturi, Giorgio
2016
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
2016
Proof analysis for Lewis counterfactuals. Zbl 1386.03028
Negri, Sara; Sbardolini, Giorgio
2016
Indicative conditionals, restricted quantification, and naive truth. Zbl 1381.03007
Field, Hartry
2016
...and 235 more Documents
all top 5

### Cited by 1,010 Authors

 25 van Ditmarsch, Hans Pieter 20 Petrukhin, Yaroslav Igorevich 19 Bezhanishvili, Guram 19 Bezhanishvili, Nick 17 Wansing, Heinrich Theodor 13 Fan, Jie 13 Francez, Nissim 13 Pietarinen, Ahti-Veikko 13 Wang, Yanjing 10 Fritz, Peter 10 Lucero-Bryan, Joel Gregory 10 Nicolai, Carlo 10 Pailos, Federico Matias 10 Poggiolesi, Francesca 10 Visser, Albert 9 Friedman, Sy-David 9 Kuznets, Roman 9 Palmigiano, Alessandra 9 van Benthem, Johan F. A. K. 9 Weber, Zach 9 Zardini, Elia 8 Fjellstad, Andreas 8 Gabbay, Dov M. 8 Hansson, Sven Ove 8 Horsten, Leon 8 Katz, Mikhail G. 8 Rossi, Lorenzo Paolo 8 Schippers, Michael 8 Shapiro, Stewart 7 Ågotnes, Thomas 7 Artemov, Sergei 7 Carnielli, Walter Alexandre 7 Giordani, Alessandro 7 Linnebo, Øystein 7 Moss, Lawrence S. 7 Omori, Hitoshi 7 Ripley, David 7 Schurz, Gerhard 7 Standefer, Shawn 7 Studer, Thomas 7 Szmuc, Damian Enrique 7 van Mill, Jan 6 Badia, Guillermo 6 Barbero, Fausto 6 Barrio, Eduardo Alejandro 6 Beall, Jc 6 Carrara, Massimiliano 6 Da Ré, Bruno 6 Égré, Paul 6 Gratzl, Norbert 6 Halpern, Joseph Yehuda 6 Humberstone, Lloyd 6 Indrzejczak, Andrzej 6 Leitgeb, Hannes 6 Ma, Minghui 6 Negri, Sara 6 Odintsov, Sergei P. 6 Panza, Marco 6 Ramanayake, Revantha 6 Roche, William A. 6 Shangin, Vasily 6 Tarafder, Sourav 6 Tennant, Neil W. 6 Väänänen, Jouko Antero 6 Velázquez-Quesada, Fernando Raymundo 6 Venturi, Giorgio 5 Başkent, Can 5 Coniglio, Marcelo Esteban 5 Conradie, Willem 5 Dyckhoff, Roy 5 Ellerman, David P. 5 Fervari, Raul 5 Fujimoto, Kentaro 5 Galimullin, Rustam 5 Hamami, Yacin 5 Kamide, Norihiro 5 Kremer, Philip 5 Kurahashi, Taishi 5 Priest, Graham 5 Read, Stephen 5 Rivello, Edoardo 5 Robles, Gemma 5 Rosenblatt, Lucas Daniel 5 Schindler, Thomas 5 van der Hoek, Wiebe 5 Walsh, Sean 5 Wcisło, Bartosz 5 Yang, Fan 4 Andréka, Hajnal 4 Areces, Carlos 4 Barton, Neil 4 Batens, Diderik 4 Beeson, Michael J. 4 Bellucci, Francesco 4 Chiffi, Daniele 4 Citkin, Alex 4 Cotnoir, Aaron J. 4 De Groot, Jim 4 Ding, Yifeng 4 Fitting, Melvin Chris ...and 910 more Authors
all top 5

### Cited in 92 Journals

 160 The Review of Symbolic Logic 129 Journal of Philosophical Logic 108 Studia Logica 102 Synthese 49 Annals of Pure and Applied Logic 41 Notre Dame Journal of Formal Logic 36 Journal of Logic, Language and Information 36 Journal of Applied Non-Classical Logics 33 Erkenntnis 30 Logic and Logical Philosophy 28 Logica Universalis 22 The Bulletin of Symbolic Logic 20 The Journal of Symbolic Logic 20 Journal of Applied Logic 17 Topoi 16 Archive for Mathematical Logic 13 Artificial Intelligence 13 Annals of Mathematics and Artificial Intelligence 12 Foundations of Science 9 Algebra Universalis 9 Theoretical Computer Science 8 History and Philosophy of Logic 8 Information and Computation 8 Indagationes Mathematicae. New Series 8 Journal of Logical and Algebraic Methods in Programming 7 Journal of Automated Reasoning 7 Nôus 6 Fuzzy Sets and Systems 5 Journal of Computer and System Sciences 5 Bulletin of the Section of Logic 5 International Journal of Approximate Reasoning 5 Logical Methods in Computer Science 4 Moscow University Mathematics Bulletin 4 Mathematical Social Sciences 4 Games and Economic Behavior 4 Foundations of Physics 4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 3 Theory of Computing Systems 3 ACM Transactions on Computational Logic 2 Archive for History of Exact Sciences 2 The Mathematical Intelligencer 2 Information Sciences 2 MSCS. Mathematical Structures in Computer Science 2 Mathematical Logic Quarterly (MLQ) 2 European Journal for Philosophy of Science 2 1 International Journal of Theoretical Physics 1 Information Processing Letters 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Lithuanian Mathematical Journal 1 Mathematical Notes 1 Algebra and Logic 1 Applied Mathematics and Computation 1 Bulletin of the London Mathematical Society 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 Historia Mathematica 1 SIAM Review 1 Expositiones Mathematicae 1 Applied Categorical Structures 1 Economic Theory 1 Filomat 1 Sbornik: Mathematics 1 Soft Computing 1 Journal for Geometry and Graphics 1 Matematychni Studiï 1 Entropy 1 Mediterranean Journal of Mathematics 1 Advances in Difference Equations 1 Oberwolfach Reports 1 International Journal of Semantic Computing 1 Axioms 1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki 1 Perspectives on Science 1 European Journal of Mathematics 1 Philosophical Transactions A. Royal Society of London 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 British Journal for the History of Mathematics 1 Cogent Mathematics & Statistics 1 The Art of Discrete and Applied Mathematics 1 Prikladnaya Diskretnaya Matematika
all top 5

### Cited in 37 Fields

 1,161 Mathematical logic and foundations (03-XX) 162 Computer science (68-XX) 85 General and overarching topics; collections (00-XX) 79 History and biography (01-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 36 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 31 Geometry (51-XX) 28 Probability theory and stochastic processes (60-XX) 17 General topology (54-XX) 14 Category theory; homological algebra (18-XX) 13 Quantum theory (81-XX) 11 Statistics (62-XX) 10 General algebraic systems (08-XX) 9 Combinatorics (05-XX) 6 Real functions (26-XX) 6 Relativity and gravitational theory (83-XX) 6 Mathematics education (97-XX) 5 Field theory and polynomials (12-XX) 5 Information and communication theory, circuits (94-XX) 4 Group theory and generalizations (20-XX) 3 Number theory (11-XX) 3 Commutative algebra (13-XX) 3 Measure and integration (28-XX) 3 Algebraic topology (55-XX) 2 Associative rings and algebras (16-XX) 2 Functional analysis (46-XX) 2 Differential geometry (53-XX) 2 Operations research, mathematical programming (90-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Sequences, series, summability (40-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX)