×

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

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

Publications by Year

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

Citations by Year