default search action
The Review of Symbolic Logic, Volume 14
Volume 14, Number 1, March 2021
- Timm Lampert, Markus Säbel:
Wittgenstein's Elimination of Identity for Quantifier-Free Logic. 1-21 - Yury Savateev, Daniyar S. Shamkanov:
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic. 22-50 - Balthasar Grabmayr
:
On the invariance of Gödel's second Theorem with regard to Numberings. 51-84 - Bruno Whittle:
Exceptional Logic. 85-111 - Carolin Antos, Neil Barton, Sy-David Friedman:
Universism and Extensions of V. 112-154 - Levin Hornischer:
The Logic of Information in State Spaces. 155-186 - Marcelo E. Coniglio
Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore. 187-224 - David Asperó
Dependent Choice, properness, and Generic Absoluteness. 225-249 - Wilfried Sieg, Patrick Walsh:
Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF. 250-284
Volume 14, Number 2, June 2021
- Shawn Standefer:
Translations between linear and Tree Natural Deduction Systems for Relevant Logics. 285-306 - Neil Tennant:
What is a Rule of Inference? 307-346 - Toby Meadows:
Two Arguments against the Generic Multiverse. 347-379 - Hein Duijf, Jan M. Broersen, Alexandra Kuncová
Doing without Action Types. 380-410 - Joan Bertran-San Millán
Lingua Characterica and Calculus Ratiocinator: the Leibnizian Background of the Frege-Schröder polemic. 411-446 - Andreas Döring, Benjamin Eva, Masanao Ozawa:
A Bridge between Q-Worlds. 447-486 - John Cantwell:
An Expressivist Analysis of the Indicative Conditional with a restrictor Semantics. 487-530 - Francesca Zaffora Blando:
A Learning-Theoretic characterisation of Martin-löF Randomness and Schnorr Randomness. 531-549
Volume 14, Number 3, September 2021
- Peter Pagin:
Compositionality, Computability, and Complexity. 551-591 - Sean Ebels-Duggan
Deductive Cardinality Results and nuisance-like Principles. 592-623 - Rasmus Blanck
Hierarchical Incompleteness Results for Arithmetically Definable Extensions of Fragments of Arithmetic. 624-644 - Richard Zach
Cut Elimination and Normalization for generalized single and Multi-Conclusion Sequent and Natural Deduction Calculi. 645-686 - Paul Égré, Paul Marty
Knowledge, Justification, and Adequate Reasons. 687-727 - Alex Kruckman, Lawrence S. Moss:
Exploring the Landscape of Relational Syllogistic Logics. 728-765 - Aybüke Özgün
Dynamic Hyperintensional Belief Revision. 766-811
Volume 14, Number 4, December 2021
- Franco Parlamento, Flavio Previale:
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality. 813-837 - Uri Andrews, Andrea Sorbi:
Effective Inseparability, Lattices, and Preordering Relations. 838-865 - Ethan Brauer, Neil Tennant:
Transmission of Verification. 866-881 - Daniel Kian Mc Kiernan
Formal Qualitative Probability. 882-909 - Samara Burns, Richard Zach
Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d. 910-929 - Michael Nielsen:
A New Argument for Kolomogorov Conditionalization. 930-945 - Stepan L. Kuznetsov
Complexity of the Infinitary Lambek Calculus with Kleene Star. 946-972 - Gregory Landini:
Tractarian Logicism: Operations, numbers, Induction. 973-1010 - Annika Kanckos
The Development of Gödel's Ontological Proof. 1011-1029 - Yacin Hamami, Rebecca Lea Morris
Plans and Planning in Mathematical Proofs. 1030-1065 - Moritz Cordes
Calculizing Classical Inferential erotetic Logic. 1066-1087
- Aybüke Özgün, Francesco Berto
Dynamic Hyperintensional Belief Revision - erratum. 1088 - Paul Égré, Paul Marty, Bryan Renne:
Knowledge, Justification, and Adequate Reasons - erratum. 1089
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: