# zbMATH — the first resource for mathematics

## 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: 433 Publications (since 2008) References Indexed: 414 Publications with 12,415 References.
all top 5

#### Latest Issues

 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 Shapiro, Stewart 6 Visser, Albert 5 Bezhanishvili, Nick 5 Field, Hartry H. 5 Fritz, Peter K. 4 Fine, Kit 4 Fischer, Martin J. 4 Francez, Nissim 4 Gabbay, Dov M. 4 Halbach, Volker 4 Kremer, Philip 4 Leitgeb, Hannes 4 Moraschini, Tommaso 4 Priest, Graham 4 Tennant, Neil W. 4 van Ditmarsch, Hans Pieter 4 Walsh, Sean 4 Weber, Zach 3 Avigad, Jeremy 3 Beall, Jc 3 Dean, Walter 3 Feferman, Solomon 3 Hellman, Geoffrey 3 Hodkinson, Ian Martin 3 Horsten, Leon 3 Kooi, Barteld Pieter 3 Łełyk, Mateusz 3 Leo, Joop 3 Linnebo, Øystein 3 Maddux, Roger D. 3 Mancosu, Paolo 3 Olkhovikov, Grigory K. 3 Ripley, David 3 Schlechta, Karl 3 Stern, Johannes 3 Wansing, Heinrich Theodor 3 Wcisło, Bartosz 3 Williams, J. Robert G. 2 Amidei, Jacopo 2 Artemov, Sergei 2 Bacon, Andrew 2 Badia, Guillermo 2 Barbero, Fausto 2 Barrio, Eduardo Alejandro 2 Ben-Yami, Hanoch 2 Caie, Michael 2 Carnielli, Walter Alexandre 2 Carrara, Massimiliano 2 Chemla, Emmanuel 2 Cieśliński, Cezary 2 Cintula, Petr 2 Coniglio, Marcelo Esteban 2 Correia, Fabrice 2 Cotnoir, Aaron J. 2 Douven, Igor 2 Fjellstad, Andreas 2 Gabelaia, David 2 Gaifman, Haim 2 Gilbert, David Robert 2 Goldblatt, Robert Ian 2 Gratzl, Norbert 2 Gyenis, Zalán 2 Hirsch, Robin 2 Humberstone, Lloyd 2 Incurvati, Luca 2 Kanckos, Annika 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 Maddy, Penelope J. 2 Malink, Marko 2 Mares, Edwin D. 2 Martino, Enrico 2 McCarty, Charles 2 McLarty, Colin 2 Meadows, Toby 2 Morris, Rebecca Lea 2 Moss, Lawrence S. 2 Negri, Sara 2 Nicolai, Carlo 2 Omori, Hitoshi 2 Ono, Hiroakira 2 Osherson, Daniel N. 2 Pacuit, Eric 2 Pailos, Federico Matias 2 Pambuccian, Victor V. 2 Parikh, Rohit 2 Paris, Jeffrey Bruce 2 Pettigrew, Richard 2 Pianigiani, Duccio 2 Picollo, Lavinia María 2 Pietarinen, Ahti-Veikko ...and 350 more Authors
all top 5

#### Fields

 423 Mathematical logic and foundations (03-XX) 36 General and overarching topics; collections (00-XX) 27 History and biography (01-XX) 14 Computer science (68-XX) 11 Category theory; homological algebra (18-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 10 Probability theory and stochastic processes (60-XX) 7 General topology (54-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Geometry (51-XX) 3 Mathematics education (97-XX) 2 Group theory and generalizations (20-XX) 2 Measure and integration (28-XX) 2 Convex and discrete geometry (52-XX) 2 Quantum theory (81-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 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX)

#### Citations contained in zbMATH Open

294 Publications have been cited 1,412 times in 1,025 Documents Cited by Year
The logic of justification. Zbl 1205.03027
Artemov, Sergei
2008
A formal system for Euclid’s Elements. Zbl 1188.03008
Avigad, Jeremy; Dean, Edward; Mumma, John
2009
Conservatively extending classical logic with transparent truth. Zbl 1248.03012
Ripley, David
2012
Truth without contra(di)ction. Zbl 1252.03018
Zardini, Elia
2011
‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019
Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago
2008
The pure logic of ground. Zbl 1250.03010
Fine, Kit
2012
Transfinite numbers in paraconsistent set theory. Zbl 1197.03026
Weber, Zach
2010
The set-theoretic multiverse. Zbl 1260.03103
Hamkins, Joel David
2012
Arrow update logic. Zbl 1252.03034
Kooi, Barteld; Renne, Bryan
2011
A logic for ‘because’. Zbl 1253.03020
Schnieder, Benjamin
2011
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
Multiple-conclusion LP and default classicality. Zbl 1252.03008
Beall, Jc
2011
Logics for the relational syllogistic. Zbl 1189.03014
Pratt-Hartmann, Ian; Moss, Lawrence S.
2009
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
Contingency and knowing whether. Zbl 1375.03023
Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans
2015
Ultimate truth vis-à-vis stable truth. Zbl 1204.03016
Welch, P. D.
2008
The potential hierarchy of sets. Zbl 1283.03085
Linnebo, Øystein
2013
Axiomatizing semantic theories of truth? Zbl 1350.03009
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes
2015
Logical grounds. Zbl 1344.03005
Correia, Fabrice
2014
Reducing compositional to disquotational truth. Zbl 1188.03004
Halbach, Volker
2009
Pluralism in logic. Zbl 1184.03004
Field, Hartry
2009
An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065
Bezhanishvili, Guram; Bezhanishvili, Nick
2009
Quantum team logic and Bell’s inequalities. Zbl 1371.03098
Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko
2015
Quantified logic of awareness and impossible possible worlds. Zbl 1205.03016
Sillari, Giacomo
2008
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
2009
A probabilistic semantics for counterfactuals. Part A. Zbl 1253.03009
Leitgeb, Hannes
2012
Strong completeness of S4 for any dense-in-itself metric space. Zbl 1326.03025
Kremer, Philip
2013
Morita equivalence. Zbl 1397.03017
Barrett, Thomas William; Halvorson, Hans
2016
Measuring the size of infinite collections of natural numbers: was Cantor’s theory of infinite number inevitable? Zbl 1204.03003
Mancosu, Paolo
2009
Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009
Petrukhin, Yaroslav; Shangin, Vasily
2017
Transfinite cardinals in paraconsistent set theory. Zbl 1262.03109
Weber, Zach
2012
O is not enough. Zbl 1175.03017
Paris, J. B.; Simmonds, R.
2009
Naive truth and restricted quantification: saving truth a whole lot better. Zbl 1329.03015
Field, Hartry
2014
Naive truth and naive logical properties. Zbl 1345.03014
Zardini, Elia
2014
Minimal truth and interpretability. Zbl 1188.03003
Fischer, Martin
2009
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
2016
Canonicity results of substructural and lattice-based logics. Zbl 1229.03023
Suzuki, Tomoyuki
2011
Self-reference in arithmetic. I. Zbl 1337.03008
Halbach, Volker; Visser, Albert
2014
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
Cut for core logic. Zbl 1256.03059
Tennant, Neil
2012
We hold these truths to be self-evident: but what do we mean by that? Zbl 1170.03003
Shapiro, Stewart
2009
Further results on the intransitivity of evidential support. Zbl 1234.03005
Douven, Igor
2011
Self-reference in arithmetic. II. Zbl 1337.03009
Halbach, Volker; Visser, Albert
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
Revision revisited. Zbl 1304.03020
Horsten, Leon; Leigh, Graham E.; Leitgeb, Hannes; Welch, Philip
2012
Pasch’s philosophy of mathematics. Zbl 1193.03002
Schlimm, Dirk
2010
Non-wellfounded mereology. Zbl 1259.03009
Cotnoir, Aaron J.; Bacon, Andrew
2012
On the relationship between plane and solid geometry. Zbl 1242.51001
Arana, Andrew; Mancosu, Paolo
2012
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 the logic of factual equivalence. Zbl 1386.03027
Correia, Fabrice
2016
A probabilistic semantics for counterfactuals. Part B. Zbl 1253.03010
Leitgeb, Hannes
2012
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. Zbl 1335.03023
Cintula, Petr; Horčík, Rostislav; Noguera, Carles
2013
The classical continuum without points. Zbl 1326.03019
Hellman, Geoffrey; Shapiro, Stewart
2013
Proof-theoretic semantic values for logical operators. Zbl 1248.03049
2011
Some observations on truth hierarchies. Zbl 1329.03028
Welch, P. D.
2014
Axioms for grounded truth. Zbl 1329.03024
Schindler, Thomas
2014
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
Model-theoretic characterization of intuitionistic propositional formulas. Zbl 1280.03010
Olkhovikov, Grigory K.
2013
The logic of resources and capabilities. Zbl 06914167
Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem
2018
A decision procedure for probability calculus with applications. Zbl 1202.03022
Fitelson, Branden
2008
Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023
Awodey, Steve; Kishida, Kohei
2008
On the probabilistic convention T. Zbl 1204.03010
Leitgeb, Hannes
2008
Sequent calculi for some trilattice logics. Zbl 1174.03008
Kamide, Norihiro; Wansing, Heinrich
2009
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
2016
Solovay-type theorems for circular definitions. Zbl 1347.03049
Standefer, Shawn
2015
Identity and discernibility in philosophy and logic. Zbl 1252.03013
Ladyman, James; Linnebo, Øystein; Pettigrew, Richard
2012
Remarks on naive set theory based on $$\mathbf{LP}$$. Zbl 1350.03024
Omori, Hitoshi
2015
Obligation, free choice, and the logic of weakest permissions. Zbl 1375.03007
Anglberger, Albert J. J.; Gratzl, Nobert; Roy, Olivier
2015
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
2015
Logicism, interpretability, and knowledge of arithmetic. Zbl 1345.03013
Walsh, Sean
2014
On existential declarations of independence in IF logic. Zbl 1283.03055
Barbero, Fausto
2013
A purely syntactic and cut-free sequent calculus for the modal logic of provability. Zbl 1189.03071
Poggiolesi, Francesca
2009
Intransitivity and vagueness. Zbl 1198.03011
Halpern, Joseph Y.
2008
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
Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. Zbl 1233.03027
Agudelo, Juan C.; Carnielli, Walter
2011
Proof analysis for Lewis counterfactuals. Zbl 1386.03028
Negri, Sara; Sbardolini, Giorgio
2016
Bolzano’s concept of grounding (Abfolge) against the background of normal proofs. Zbl 1288.03005
Rumberg, Antje
2013
Axiomatic truth, syntax and metatheoretic reasoning. Zbl 1350.03010
Leigh, Graham E.; Nicolai, Carlo
2013
On the general interpretation of first-order quantifiers. Zbl 1319.03034
Antonelli, G. Aldo
2013
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
Field’s Saving truth from paradox: some things it doesn’t do. Zbl 1276.03008
Martin, Donald A.
2011
Merging of opinions and probability kinematics. Zbl 1375.03027
Huttegger, Simon M.
2015
On weak ground. Zbl 1339.03006
Derosset, Louis
2014
On flattening elimination rules. Zbl 1329.03087
Olkhovikov, Grigory K.; Schroeder-Heister, Peter
2014
Truth and speed-up. Zbl 1329.03090
Fischer, Martin
2014
Gradational accuracy and nonclassical semantics. Zbl 1261.03066
Williams, J. Robert G.
2012
Reward versus risk in uncertain inference: theorems and simulations. Zbl 1272.03057
Schurz, Gerhard; Thorn, Paul D.
2012
Canonical formulas $$\mathbf{wK4}$$. Zbl 1314.03020
Bezhanishvili, Guram; Bezhanishvili, Nick
2012
Foundations of unlimited category theory: what remains to be done. Zbl 1275.18005
Feferman, Solomon
2013
Formalization, primitive concepts, and purity. Zbl 1272.03006
Baldwin, John T.
2013
General properties of Bayesian learning as statistical inference determined by conditional expectations. Zbl 1417.03113
Gyenis, Zalán; Rédei, Miklós
2017
Truth-functionality. Zbl 1202.03015
Schnieder, Benjamin
2008
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 07347065
2020
Formal representations of dependence and groundedness. Zbl 07181945
Rivello, Edoardo
2020
The peripatetic program in categorical logic: Leibniz on propositional terms. Zbl 1452.03014
2020
Mechanizing Principia Logico-Metaphysica in functional type-theory. Zbl 07181947
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.
2020
Another look at the second incompleteness theorem. Zbl 1444.03168
Visser, Albert
2020
Varieties of De Morgan monoids: covers of atoms. Zbl 07193991
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J.
2020
Generic large cardinals as axioms. Zbl 07193992
Eskew, Monroe
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
A note on the reverse mathematics of the sorites. Zbl 07063880
Dzhafarov, Damir D.
2019
Logic for exact entailment. Zbl 1454.03031
Fine, Kit; Jago, Mark
2019
Generality and existence 1: quantification and free logic. Zbl 07063877
Restall, Greg
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
Some observations about generalized quantifiers in logics of imperfect information. Zbl 07124570
Barbero, Fausto
2019
Complete additivity and modal incompleteness. Zbl 07124571
2019
Proof-theoretic analysis of the quantified argument calculus. Zbl 07171840
Pavlović, Edi; Gratzl, Norbert
2019
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
On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 06986408
Omori, Hitoshi; Wansing, Heinrich
2018
Reference in arithmetic. Zbl 06965273
Picollo, Lavinia
2018
Conditional beliefs: from neighbourhood semantics to sequent calculus. Zbl 1445.03015
Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent
2018
A study of truth predicates in matrix semantics. Zbl 1439.03110
Moraschini, Tommaso
2018
Beddor, Bob; Goldstein, Simon
2018
Stable modal logics. Zbl 06965268
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
2018
Many-valued logic of informal provability: a non-deterministic strategy. Zbl 06914162
Pawlowski, Pawel; Urbaniak, Rafal
2018
Classically archetypal rules. Zbl 06914164
Połacik, Tomasz; Humberstone, Lloyd
2018
Strict finitism, feasibility, and the sorites. Zbl 06914165
Dean, Walter
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
Pure logic of iterated full ground. Zbl 06965267
Litland, Jon Erling
2018
Triangulating non-Archimedean probability. Zbl 06965271
Brickhill, Hazel; Horsten, Leon
2018
Another arithmetic of the even and the odd. Zbl 1439.03103
Schacht, Celia
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 06986405
Rescorla, Michael
2018
Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009
Petrukhin, Yaroslav; Shangin, Vasily
2017
General properties of Bayesian learning as statistical inference determined by conditional expectations. Zbl 1417.03113
Gyenis, Zalán; Rédei, Miklós
2017
Analytic cut and interpolation for bi-intuitionistic logic. Zbl 1417.03280
Kowalski, Tomasz; Ono, Hiroakira
2017
Action types in stit semantics. Zbl 1421.03006
Horty, John; Pacuit, Eric
2017
Orthomodular-valued models for quantum set theory. Zbl 1421.03026
Ozawa, Masanao
2017
Notes on bounded induction for the compositional truth predicate. Zbl 1421.03028
Wcisło, Bartosz; Łełyk, Mateusz
2017
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
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
Models of $$\mathrm{PT}^-$$ with internal induction for total formulae. Zbl 1417.03294
Cieśliński, Cezary; Łełyk, Mateusz; Wcisło, Bartosz
2017
Categorical harmony and path induction. Zbl 1384.03093
Walsh, Patrick
2017
Generalizations of Gödel’s incompleteness theorems for $$\Sigma_n$$-definable theories of arithmetic. Zbl 1426.03038
Kikuchi, Makoto; Kurahashi, Taishi
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
Strongly Millian second-order modal logics. Zbl 1421.03009
Jacinto, Bruno
2017
Counterfactuals and propositional contingentism. Zbl 1421.03008
Fritz, Peter; Goodman, Jeremy
2017
A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL. Zbl 1421.03013
Lanzet, Ran
2017
Uniform definability in propositional dependence logic. Zbl 1417.03204
Yang, Fan
2017
Logics for propositional contingentism. Zbl 1373.03021
Fritz, Peter
2017
Point-free geometry, ovals, and half-planes. Zbl 1368.03017
Gerla, Giangiacomo; Gruszczyński, Rafał
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
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
The arithmetic of the even and the odd. Zbl 1381.03041
Pambuccian, Victor
2016
Appropriate causal models and the stability of causation. Zbl 1383.03026
Halpern, Joseph Y.
2016
Propositional contingentism. Zbl 1386.03011
Fritz, Peter
2016
Reflexive-insensitive modal logics. Zbl 1353.03011
Gilbert, David R.; Venturi, Giorgio
2016
Weak disharmony: some lessons for proof-theoretic semantics. Zbl 1391.03040
Dicher, Bogdan
2016
Embracing the technicalities: expressive completeness and revenge. Zbl 1391.03016
Tourville, Nicholas; Cook, Roy T.
2016
Informal proof, formal proof, formalism. Zbl 1381.03014
Weir, Alan
2016
Preservation of admissible rules when combining logics. Zbl 1397.03049
2016
The logic of Leibniz’s Generales inquisitiones de analysi notionum et veritatum. Zbl 1397.03003
2016
Character and object. Zbl 1427.01005
2016
Addenda et corrigenda to: “The arithmetic of the even and the odd”. Zbl 1382.03080
Menn, Stephen; Pambuccian, Victor
2016
Trial and error mathematics. I: Dialectical and quasidialectical systems. Zbl 1384.03079
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea
2016
Agreement theorems for self-locating belief. Zbl 1355.03012
Caie, Michael
2016
Harmonic inferentialism and the logic of identity. Zbl 1391.03015
2016
The relevant fragment of first order logic. Zbl 1453.03018
2016
Privative negation in the Port Royal logic. Zbl 1392.03003
Martin, John N.
2016
Realizability semantics for quantified modal logic: generalizing Flagg’s 1985 construction. Zbl 1400.03050
Rin, Benjamin G.; Walsh, Sean
2016
On analogues of the Church-Turing thesis in algorithmic randomness. Zbl 1393.03023
Porter, Christopher P.
2016
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras. Zbl 1392.03060
Alm, Jeremy F.; Hirsch, Robin; Maddux, Roger D.
2016
Exclusively indexical deduction. Zbl 1391.03026
Dekker, Paul
2016
Contingency and knowing whether. Zbl 1375.03023
Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans
2015
Axiomatizing semantic theories of truth? Zbl 1350.03009
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes
2015
Quantum team logic and Bell’s inequalities. Zbl 1371.03098
Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko
2015
Solovay-type theorems for circular definitions. Zbl 1347.03049
Standefer, Shawn
2015
Remarks on naive set theory based on $$\mathbf{LP}$$. Zbl 1350.03024
Omori, Hitoshi
2015
Obligation, free choice, and the logic of weakest permissions. Zbl 1375.03007
Anglberger, Albert J. J.; Gratzl, Nobert; Roy, Olivier
2015
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
2015
Merging of opinions and probability kinematics. Zbl 1375.03027
Huttegger, Simon M.
2015
Consistency and the theory of truth. Zbl 1375.03009
Heck, Richard G. jun.
2015
How a semantics for tonk should be. Zbl 1382.03016
2015
On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics. Zbl 1345.03101
Francez, Nissim
2015
Generalized algebra-valued models of set theory. Zbl 1375.03066
Löwe, Benedikt; Tarafder, Sourav
2015
Axioms for finite collapse models of arithmetic. Zbl 1337.03036
Tedder, Andrew
2015
Naive set theory and nontransitive logic. Zbl 1347.03094
Ripley, David
2015
The expressive power of truth. Zbl 1382.03014
Fischer, Martin; Horsten, Leon
2015
...and 194 more Documents
all top 5

#### Cited by 836 Authors

 19 Petrukhin, Yaroslav Igorevich 19 van Ditmarsch, Hans Pieter 17 Bezhanishvili, Guram 16 Bezhanishvili, Nick 16 Wansing, Heinrich Theodor 11 Francez, Nissim 11 Pietarinen, Ahti-Veikko 9 Fan, Jie 9 Kuznets, Roman 9 Lucero-Bryan, Joel Gregory 9 Visser, Albert 9 Zardini, Elia 8 Friedman, Sy-David 8 Fritz, Peter K. 8 Gabbay, Dov M. 8 Hansson, Sven Ove 8 Horsten, Leon 8 Katz, Mikhail G. 8 Nicolai, Carlo 8 Palmigiano, Alessandra 8 Schippers, Michael 8 Shapiro, Stewart 7 Artemov, Sergei 7 Fjellstad, Andreas 7 Poggiolesi, Francesca 7 Ripley, David 7 Wang, Yanjing 7 Weber, Zach 6 Beall, Jc 6 Gratzl, Norbert 6 Halpern, Joseph Yehuda 6 Linnebo, Øystein 6 Moss, Lawrence S. 6 Omori, Hitoshi 6 Pailos, Federico Matias 6 Schurz, Gerhard 6 Shangin, Vasily 6 Studer, Thomas 6 Szmuc, Damian Enrique 6 van Benthem, Johan F. A. K. 6 van Mill, Jan 5 Ågotnes, Thomas 5 Badia, Guillermo 5 Barbero, Fausto 5 Barrio, Eduardo Alejandro 5 Başkent, Can 5 Carnielli, Walter Alexandre 5 Carrara, Massimiliano 5 Conradie, Willem J. 5 Dyckhoff, Roy 5 Égré, Paul 5 Humberstone, Lloyd 5 Leitgeb, Hannes 5 Odintsov, Sergei P. 5 Panza, Marco 5 Priest, Graham 5 Read, Stephen 5 Roche, William A. 5 Rossi, Lorenzo Paolo 5 Tennant, Neil W. 5 Walsh, Sean 4 Batens, Diderik 4 Beeson, Michael J. 4 Bellucci, Francesco 4 Citkin, Alex 4 Cotnoir, Aaron J. 4 Da Ré, Bruno 4 Ellerman, David P. 4 Fitting, Melvin Chris 4 Fujimoto, Kentaro 4 Giordani, Alessandro 4 Huber, Franz 4 Iemhoff, Rosalie 4 Indrzejczak, Andrzej 4 Janičić, Predrag 4 Kamide, Norihiro 4 Klev, Ansten Mørch 4 Kremer, Philip 4 Łełyk, Mateusz 4 Lorini, Emiliano 4 Ma, Minghui 4 Meadows, Toby 4 Metcalfe, George 4 Mumma, John 4 Narboux, Julien 4 Naumov, Pavel G. 4 Negri, Sara 4 Olivetti, Nicola 4 Pambuccian, Victor V. 4 Protopopescu, Tudor 4 Ramanayake, Revantha 4 Rivello, Edoardo 4 Rönnholm, Raine 4 Rosenblatt, Lucas Daniel 4 Sherry, David M. 4 Standefer, Shawn 4 Ternullo, Claudio 4 Väänänen, Jouko Antero 4 van der Hoek, Wiebe 4 van Rooy, Robert ...and 736 more Authors
all top 5

#### Cited in 84 Journals

 136 The Review of Symbolic Logic 102 Journal of Philosophical Logic 88 Studia Logica 76 Synthese 42 Annals of Pure and Applied Logic 36 Notre Dame Journal of Formal Logic 32 Journal of Applied Non-Classical Logics 27 Erkenntnis 27 Logica Universalis 25 Journal of Logic, Language and Information 20 Journal of Applied Logic 17 Topoi 16 Logic and Logical Philosophy 14 Archive for Mathematical Logic 13 The Journal of Symbolic Logic 13 The Bulletin of Symbolic Logic 12 Annals of Mathematics and Artificial Intelligence 11 Artificial Intelligence 9 Algebra Universalis 9 Foundations of Science 8 Theoretical Computer Science 8 History and Philosophy of Logic 8 Indagationes Mathematicae. New Series 7 Nôus 6 Fuzzy Sets and Systems 6 Information and Computation 6 Journal of Logical and Algebraic Methods in Programming 5 Journal of Computer and System Sciences 5 Bulletin of the Section of Logic 5 Journal of Automated Reasoning 4 Moscow University Mathematics Bulletin 4 Mathematical Social Sciences 4 Logical Methods in Computer Science 4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 3 International Journal of Approximate Reasoning 3 Games and Economic Behavior 3 Theory of Computing Systems 3 ACM Transactions on Computational Logic 3 Foundations of Physics 2 Information Sciences 2 MSCS. Mathematical Structures in Computer Science 2 Mathematical Logic Quarterly (MLQ) 2 European Journal for Philosophy of Science 2 1 Archive for History of Exact Sciences 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 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 Semigroup Forum 1 Siberian Mathematical Journal 1 Theory and Decision 1 Transactions of the American Mathematical Society 1 Annals of Operations Research 1 Historia Mathematica 1 SIAM Review 1 Expositiones Mathematicae 1 Applied Categorical Structures 1 Economic Theory 1 Sbornik: Mathematics 1 Journal for Geometry and Graphics 1 Matematychni Studiï 1 Entropy 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
all top 5

#### Cited in 33 Fields

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