×

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

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

Publications by Year

Citations contained in zbMATH Open

296 Publications have been cited 1,419 times in 1,027 Documents Cited by Year
The logic of justification. Zbl 1205.03027
Artemov, Sergei
56
2008
A formal system for Euclid’s Elements. Zbl 1188.03008
Avigad, Jeremy; Dean, Edward; Mumma, John
34
2009
Conservatively extending classical logic with transparent truth. Zbl 1248.03012
Ripley, David
30
2012
Truth without contra(di)ction. Zbl 1252.03018
Zardini, Elia
26
2011
‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019
Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago
25
2008
The pure logic of ground. Zbl 1250.03010
Fine, Kit
23
2012
The set-theoretic multiverse. Zbl 1260.03103
Hamkins, Joel David
21
2012
Transfinite numbers in paraconsistent set theory. Zbl 1197.03026
Weber, Zach
21
2010
A logic for ‘because’. Zbl 1253.03020
Schnieder, Benjamin
19
2011
Arrow update logic. Zbl 1252.03034
Kooi, Barteld; Renne, Bryan
19
2011
A cut-free simple sequent calculus for modal logic S5. Zbl 1204.03024
Poggiolesi, Francesca
18
2008
Multiple-conclusion LP and default classicality. Zbl 1252.03008
Beall, Jc
18
2011
Completeness via correspondence for extensions of the logic of paradox. Zbl 1270.03045
Kooi, Barteld; Tamminga, Allard
18
2012
Logics for the relational syllogistic. Zbl 1189.03014
Pratt-Hartmann, Ian; Moss, Lawrence S.
17
2009
Many-valued modal logics: a simple approach. Zbl 1206.03022
Priest, Graham
16
2008
Contingency and knowing whether. Zbl 1375.03023
Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans
15
2015
Existential graphs as an instrument of logical analysis. I: Alpha. Zbl 1381.03003
Bellucci, Francesco; Pietarinen, Ahti-Veikko
15
2016
Ultimate truth vis-à-vis stable truth. Zbl 1204.03016
Welch, P. D.
14
2008
Logical grounds. Zbl 1344.03005
Correia, Fabrice
13
2014
The potential hierarchy of sets. Zbl 1283.03085
Linnebo, Øystein
13
2013
Axiomatizing semantic theories of truth? Zbl 1350.03009
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes
13
2015
An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065
Bezhanishvili, Guram; Bezhanishvili, Nick
12
2009
Reducing compositional to disquotational truth. Zbl 1188.03004
Halbach, Volker
12
2009
Quantum team logic and Bell’s inequalities. Zbl 1371.03098
Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko
12
2015
Pluralism in logic. Zbl 1184.03004
Field, Hartry
12
2009
Quantified logic of awareness and impossible possible worlds. Zbl 1205.03016
Sillari, Giacomo
11
2008
A probabilistic semantics for counterfactuals. Part A. Zbl 1253.03009
Leitgeb, Hannes
11
2012
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
11
2009
Strong completeness of S4 for any dense-in-itself metric space. Zbl 1326.03025
Kremer, Philip
11
2013
Morita equivalence. Zbl 1397.03017
Barrett, Thomas William; Halvorson, Hans
11
2016
Transfinite cardinals in paraconsistent set theory. Zbl 1262.03109
Weber, Zach
10
2012
Measuring the size of infinite collections of natural numbers: was Cantor’s theory of infinite number inevitable? Zbl 1204.03003
Mancosu, Paolo
10
2009
Naive truth and restricted quantification: saving truth a whole lot better. Zbl 1329.03015
Field, Hartry
10
2014
Naive truth and naive logical properties. Zbl 1345.03014
Zardini, Elia
10
2014
Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009
Petrukhin, Yaroslav; Shangin, Vasily
10
2017
Self-reference in arithmetic. I. Zbl 1337.03008
Halbach, Volker; Visser, Albert
10
2014
O is not enough. Zbl 1175.03017
Paris, J. B.; Simmonds, R.
10
2009
Canonicity results of substructural and lattice-based logics. Zbl 1229.03023
Suzuki, Tomoyuki
9
2011
Minimal truth and interpretability. Zbl 1188.03003
Fischer, Martin
9
2009
Self-reference in arithmetic. II. Zbl 1337.03009
Halbach, Volker; Visser, Albert
9
2014
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
9
2016
The logic of partitions: introduction to the dual of the logic of subsets. Zbl 1211.03101
Ellerman, David
8
2010
Axioms for determinateness and truth. Zbl 1204.03007
Feferman, Solomon
8
2008
Cut for core logic. Zbl 1256.03059
Tennant, Neil
8
2012
A machine-assisted proof of Gödel’s incompleteness theorems for the theory of hereditarily finite sets. Zbl 1337.03021
Paulson, Lawrence C.
8
2014
Further results on the intransitivity of evidential support. Zbl 1234.03005
Douven, Igor
8
2011
We hold these truths to be self-evident: but what do we mean by that? Zbl 1170.03003
Shapiro, Stewart
8
2009
A probabilistic semantics for counterfactuals. Part B. Zbl 1253.03010
Leitgeb, Hannes
7
2012
Non-wellfounded mereology. Zbl 1259.03009
Cotnoir, Aaron J.; Bacon, Andrew
7
2012
On the relationship between plane and solid geometry. Zbl 1242.51001
Arana, Andrew; Mancosu, Paolo
7
2012
Proof-theoretic semantic values for logical operators. Zbl 1248.03049
Francez, Nissim; Ben-Avi, Gilad
7
2011
Cardinal arithmetic in the style of Baron von Münchhausen. Zbl 1185.03088
Visser, Albert
7
2009
Revision revisited. Zbl 1304.03020
Horsten, Leon; Leigh, Graham E.; Leitgeb, Hannes; Welch, Philip
7
2012
Pasch’s philosophy of mathematics. Zbl 1193.03002
Schlimm, Dirk
7
2010
Some observations on truth hierarchies. Zbl 1329.03028
Welch, P. D.
7
2014
Axioms for grounded truth. Zbl 1329.03024
Schindler, Thomas
7
2014
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. Zbl 1335.03023
Cintula, Petr; Horčík, Rostislav; Noguera, Carles
7
2013
The classical continuum without points. Zbl 1326.03019
Hellman, Geoffrey; Shapiro, Stewart
7
2013
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
7
2015
On the logic of factual equivalence. Zbl 1386.03027
Correia, Fabrice
7
2016
Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010
Gabbay, Dov M.; Schlechta, Karl
7
2009
A decision procedure for probability calculus with applications. Zbl 1202.03022
Fitelson, Branden
6
2008
Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023
Awodey, Steve; Kishida, Kohei
6
2008
On the probabilistic convention T. Zbl 1204.03010
Leitgeb, Hannes
6
2008
Identity and discernibility in philosophy and logic. Zbl 1252.03013
Ladyman, James; Linnebo, Øystein; Pettigrew, Richard
6
2012
Unfolding finitist arithmetic. Zbl 1232.03053
Feferman, Solomon; Strahm, Thomas
6
2010
The logic of resources and capabilities. Zbl 06914167
Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem
6
2018
Logicism, interpretability, and knowledge of arithmetic. Zbl 1345.03013
Walsh, Sean
6
2014
Solovay-type theorems for circular definitions. Zbl 1347.03049
Standefer, Shawn
6
2015
Obligation, free choice, and the logic of weakest permissions. Zbl 1375.03007
Anglberger, Albert J. J.; Gratzl, Nobert; Roy, Olivier
6
2015
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
Model-theoretic characterization of intuitionistic propositional formulas. Zbl 1280.03010
Olkhovikov, Grigory K.
6
2013
Remarks on naive set theory based on \(\mathbf{LP}\). Zbl 1350.03024
Omori, Hitoshi
6
2015
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
6
2016
Sequent calculi for some trilattice logics. Zbl 1174.03008
Kamide, Norihiro; Wansing, Heinrich
6
2009
Intransitivity and vagueness. Zbl 1198.03011
Halpern, Joseph Y.
5
2008
Valentini’s cut-elimination for provability logic resolved. Zbl 1254.03113
Goré, Rajeev; Ramanayake, Revantha
5
2012
Transitivity and intransitivity in evidential support: some further results. Zbl 1259.03016
Roche, William
5
2012
Rules for subatomic derivation. Zbl 1252.03125
Więckowski, Bartosz
5
2011
The expressive power of memory logics. Zbl 1247.03027
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio
5
2011
Field’s Saving truth from paradox: some things it doesn’t do. Zbl 1276.03008
Martin, Donald A.
5
2011
Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. Zbl 1233.03027
Agudelo, Juan C.; Carnielli, Walter
5
2011
A purely syntactic and cut-free sequent calculus for the modal logic of provability. Zbl 1189.03071
Poggiolesi, Francesca
5
2009
On flattening elimination rules. Zbl 1329.03087
Olkhovikov, Grigory K.; Schroeder-Heister, Peter
5
2014
Truth and speed-up. Zbl 1329.03090
Fischer, Martin
5
2014
Bolzano’s concept of grounding (Abfolge) against the background of normal proofs. Zbl 1288.03005
Rumberg, Antje
5
2013
Axiomatic truth, syntax and metatheoretic reasoning. Zbl 1350.03010
Leigh, Graham E.; Nicolai, Carlo
5
2013
On the general interpretation of first-order quantifiers. Zbl 1319.03034
Antonelli, G. Aldo
5
2013
Merging of opinions and probability kinematics. Zbl 1375.03027
Huttegger, Simon M.
5
2015
On existential declarations of independence in IF logic. Zbl 1283.03055
Barbero, Fausto
5
2013
On weak ground. Zbl 1339.03006
Derosset, Louis
5
2014
Proof analysis for Lewis counterfactuals. Zbl 1386.03028
Negri, Sara; Sbardolini, Giorgio
5
2016
Truth-functionality. Zbl 1202.03015
Schnieder, Benjamin
4
2008
The iterative conception of set. Zbl 1204.03008
Forster, Thomas
4
2008
Cumulativity without closure of the domain under finite unions. Zbl 1205.03041
Gabbay, Dov M.; Schlechta, Karl
4
2008
Sentences, belief and logical omniscience, or what does deduction tell us? Zbl 1205.03010
Parikh, Rohit
4
2008
Super liars. Zbl 1242.03020
Schlenker, Philippe
4
2010
Normal derivability in classical natural deduction. Zbl 1248.03077
von Plato, Jan; Siders, Annika
4
2012
Logics for propositional determinacy and independence. Zbl 06965269
Goranko, Valentin; Kuusisto, Antti
4
2018
On the invariance of Gödel’s second theorem with regard to numberings. Zbl 07374090
Grabmayr, Balthasar
1
2021
Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 07193994
Odintsov, Sergei P.; Speranski, Stanislav O.
3
2020
A note on the cut-elimination proof in “Truth without contra(di)ction”. Zbl 07347065
Fjellstad, Andreas
2
2020
Another look at the second incompleteness theorem. Zbl 1444.03168
Visser, Albert
2
2020
Syllogistic logic with cardinality comparisons, on infinite sets. Zbl 1455.03039
Moss, Lawrence S.; Topal, Selçuk
2
2020
Varieties of De Morgan monoids: covers of atoms. Zbl 07193991
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J.
1
2020
Generic large cardinals as axioms. Zbl 07193992
Eskew, Monroe
1
2020
Formal representations of dependence and groundedness. Zbl 07181945
Rivello, Edoardo
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 07181947
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.
1
2020
Incompleteness via paradox and completeness. Zbl 07239857
Dean, Walter
1
2020
Substructural inquisitive logics. Zbl 07063893
Punčochář, Vít
3
2019
Suszko’s problem: mixed consequence and compositionality. Zbl 07171844
Chemla, Emmanuel; Égré, Paul
3
2019
Logic for exact entailment. Zbl 1454.03031
Fine, Kit; Jago, Mark
2
2019
A note on the reverse mathematics of the sorites. Zbl 07063880
Dzhafarov, Damir D.
2
2019
Some observations about generalized quantifiers in logics of imperfect information. Zbl 07124570
Barbero, Fausto
1
2019
Complete additivity and modal incompleteness. Zbl 07124571
Holliday, Wesley H.; Litak, Tadeusz
1
2019
Generality and existence 1: quantification and free logic. Zbl 07063877
Restall, Greg
1
2019
Natural axioms for classical mereology. Zbl 07063886
Cotnoir, A. J.; Varzi, Achille C.
1
2019
Everyone knows that someone knows: quantifiers over epistemic agents. Zbl 07063891
Naumov, Pavel; Tao, Jia
1
2019
Proof-theoretic analysis of the quantified argument calculus. Zbl 07171840
Pavlović, Edi; Gratzl, Norbert
1
2019
The logic of resources and capabilities. Zbl 06914167
Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem
6
2018
Logics for propositional determinacy and independence. Zbl 06965269
Goranko, Valentin; Kuusisto, Antti
4
2018
On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 06986408
Omori, Hitoshi; Wansing, Heinrich
4
2018
Reference in arithmetic. Zbl 06965273
Picollo, Lavinia
3
2018
Conditional beliefs: from neighbourhood semantics to sequent calculus. Zbl 1445.03015
Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent
3
2018
A study of truth predicates in matrix semantics. Zbl 1439.03110
Moraschini, Tommaso
3
2018
Believing epistemic contradictions. Zbl 06866169
Beddor, Bob; Goldstein, Simon
2
2018
Stable modal logics. Zbl 06965268
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
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
1
2018
Pure logic of iterated full ground. Zbl 06965267
Litland, Jon Erling
1
2018
Triangulating non-Archimedean probability. Zbl 06965271
Brickhill, Hazel; Horsten, Leon
1
2018
Another arithmetic of the even and the odd. Zbl 1439.03103
Schacht, Celia
1
2018
Mathematical inference and logical inference. Zbl 1434.00030
Hamami, Yacin
1
2018
A Dutch book theorem and converse Dutch book theorem for Kolmogorov conditionalization. Zbl 06986405
Rescorla, Michael
1
2018
Many-valued logic of informal provability: a non-deterministic strategy. Zbl 06914162
Pawlowski, Pawel; Urbaniak, Rafal
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
Automated correspondence analysis for the binary extensions of the logic of paradox. Zbl 1387.03009
Petrukhin, Yaroslav; Shangin, Vasily
10
2017
General properties of Bayesian learning as statistical inference determined by conditional expectations. Zbl 1417.03113
Gyenis, Zalán; Rédei, Miklós
4
2017
Analytic cut and interpolation for bi-intuitionistic logic. Zbl 1417.03280
Kowalski, Tomasz; Ono, Hiroakira
4
2017
Notes on bounded induction for the compositional truth predicate. Zbl 1421.03028
Wcisło, Bartosz; Łełyk, Mateusz
3
2017
Action types in stit semantics. Zbl 1421.03006
Horty, John; Pacuit, Eric
3
2017
Orthomodular-valued models for quantum set theory. Zbl 1421.03026
Ozawa, Masanao
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
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
3
2017
Ibn Sīnā on reductio ad absurdum. Zbl 1421.03002
Hodges, Wilfrid
2
2017
Generalizations of Gödel’s incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic. Zbl 1426.03038
Kikuchi, Makoto; Kurahashi, Taishi
2
2017
Categorical harmony and path induction. Zbl 1384.03093
Walsh, Patrick
2
2017
Models of \(\mathrm{PT}^-\) with internal induction for total formulae. Zbl 1417.03294
Cieśliński, Cezary; Łełyk, Mateusz; Wcisło, Bartosz
2
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
A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL. Zbl 1421.03013
Lanzet, Ran
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
Logics for propositional contingentism. Zbl 1373.03021
Fritz, Peter
1
2017
Point-free geometry, ovals, and half-planes. Zbl 1368.03017
Gerla, Giangiacomo; Gruszczyński, Rafał
1
2017
Equivalences for truth predicates. Zbl 1417.03293
Nicolai, Carlo
1
2017
Uniform definability in propositional dependence logic. Zbl 1417.03204
Yang, Fan
1
2017
Existential graphs as an instrument of logical analysis. I: Alpha. Zbl 1381.03003
Bellucci, Francesco; Pietarinen, Ahti-Veikko
15
2016
Morita equivalence. Zbl 1397.03017
Barrett, Thomas William; Halvorson, Hans
11
2016
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
9
2016
On the logic of factual equivalence. Zbl 1386.03027
Correia, Fabrice
7
2016
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
6
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
4
2016
Weak disharmony: some lessons for proof-theoretic semantics. Zbl 1391.03040
Dicher, Bogdan
3
2016
The arithmetic of the even and the odd. Zbl 1381.03041
Pambuccian, Victor
3
2016
Appropriate causal models and the stability of causation. Zbl 1383.03026
Halpern, Joseph Y.
3
2016
Propositional contingentism. Zbl 1386.03011
Fritz, Peter
3
2016
Reflexive-insensitive modal logics. Zbl 1353.03011
Gilbert, David R.; Venturi, Giorgio
3
2016
Preservation of admissible rules when combining logics. Zbl 1397.03049
Rasga, João; Sernadas, Cristina; Sernadas, Amílcar
2
2016
The logic of Leibniz’s Generales inquisitiones de analysi notionum et veritatum. Zbl 1397.03003
Malink, Marko; Vasudevan, Anubav
2
2016
Character and object. Zbl 1427.01005
Avigad, Jeremy; Morris, Rebecca
2
2016
Addenda et corrigenda to: “The arithmetic of the even and the odd”. Zbl 1382.03080
Menn, Stephen; Pambuccian, Victor
2
2016
Embracing the technicalities: expressive completeness and revenge. Zbl 1391.03016
Tourville, Nicholas; Cook, Roy T.
2
2016
Informal proof, formal proof, formalism. Zbl 1381.03014
Weir, Alan
2
2016
Privative negation in the Port Royal logic. Zbl 1392.03003
Martin, John N.
1
2016
Realizability semantics for quantified modal logic: generalizing Flagg’s 1985 construction. Zbl 1400.03050
Rin, Benjamin G.; Walsh, Sean
1
2016
On analogues of the Church-Turing thesis in algorithmic randomness. Zbl 1393.03023
Porter, Christopher P.
1
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.
1
2016
Exclusively indexical deduction. Zbl 1391.03026
Dekker, Paul
1
2016
Trial and error mathematics. I: Dialectical and quasidialectical systems. Zbl 1384.03079
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea
1
2016
Agreement theorems for self-locating belief. Zbl 1355.03012
Caie, Michael
1
2016
Harmonic inferentialism and the logic of identity. Zbl 1391.03015
Read, Stephen
1
2016
The relevant fragment of first order logic. Zbl 1453.03018
Badia, Guillermo
1
2016
Contingency and knowing whether. Zbl 1375.03023
Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans
15
2015
Axiomatizing semantic theories of truth? Zbl 1350.03009
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes
13
2015
Quantum team logic and Bell’s inequalities. Zbl 1371.03098
Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko
12
2015
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
7
2015
Solovay-type theorems for circular definitions. Zbl 1347.03049
Standefer, Shawn
6
2015
Obligation, free choice, and the logic of weakest permissions. Zbl 1375.03007
Anglberger, Albert J. J.; Gratzl, Nobert; Roy, Olivier
6
2015
Remarks on naive set theory based on \(\mathbf{LP}\). Zbl 1350.03024
Omori, Hitoshi
6
2015
Merging of opinions and probability kinematics. Zbl 1375.03027
Huttegger, Simon M.
5
2015
Consistency and the theory of truth. Zbl 1375.03009
Heck, Richard G. jun.
4
2015
How a semantics for tonk should be. Zbl 1382.03016
Fjellstad, Andreas
4
2015
Generalized algebra-valued models of set theory. Zbl 1375.03066
Löwe, Benedikt; Tarafder, Sourav
4
2015
On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics. Zbl 1345.03101
Francez, Nissim
4
2015
Axioms for finite collapse models of arithmetic. Zbl 1337.03036
Tedder, Andrew
3
2015
...and 196 more Documents
all top 5

Cited by 837 Authors

19 Petrukhin, Yaroslav Igorevich
19 van Ditmarsch, Hans Pieter
18 Bezhanishvili, Guram
17 Bezhanishvili, Nick
16 Wansing, Heinrich Theodor
11 Francez, Nissim
11 Pietarinen, Ahti-Veikko
10 Lucero-Bryan, Joel Gregory
9 Fan, Jie
9 Kuznets, Roman
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 van Mill, Jan
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.
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 737 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
15 The Bulletin of Symbolic Logic
14 Archive for Mathematical Logic
13 The Journal 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

Citations by Year