Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 16
Volume 16, Number 1, March 2023
- Øystein Linnebo, Stewart Shapiro:
Predicativism as a Form of Potentialism. 1-32 - Luca Castaldo
, Johannes Stern:
KF, PKF, and Reinhardt?s Program. 33-58 - Anna Bellomo, Guillaume Massas:
Bolzano's Mathematical Infinite. 59-113 - Adam Prenosil:
The Lattice of Super-Belnap Logics. 114-163 - Guram Bezhanishvili, Luca Carai:
Temporal Interpretation of Monadic Intuitionistic Quantifiers. 164-187 - Peter Fritz:
Operands and Instances. 188-209 - Nicholas Ferenz:
Quantified Modal Relevant Logics. 210-240 - Gianluca Grilletti, Ivano Ciardelli:
Games and Cardinalities in Inquisitive First-Order Logic. 241-267 - Andrea Sereni, Maria Paola Sforza Fogliani, Luca Zanetti:
For Better and for Worse. Abstractionism, Good Company, and Pluralism. 268-297 - Jean Baccelli, Rush T. Stewart:
Support for Geometric Pooling. 298-337
- Oliver Tatton-Brown:
Rigour and Proof ? Corrigendum. 338
Volume 16, Number 2, June 2023
- Benjamin Siskind, Paolo Mancosu, Stewart Shapiro:
A note on Choice Principles in second-order Logic. 339-350 - Soroush Rafiee Rad:
Probabilistic Entailment on First order Languages and Reasoning with Inconsistencies. 351-368 - Wilfrid Hodges:
A Correctness Proof for al-BarakāT's Logical Diagrams. 369-384 - Balthasar Grabmayr, Albert Visser:
Self-Reference Upfront: a Study of Self-Referential Gödel Numberings. 385-424 - Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez:
Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype. 425-448 - Edi Pavlovic, Norbert Gratzl:
Abstract Forms of Quantification in the Quantified Argument Calculus. 449-479 - Oliver Tatton-Brown:
Rigour and Proof. 480-508 - Rafal Gruszczynski, Andrzej Pietruszczak:
Grzegorczyk Points and filters in Boolean contact Algebras. 509-528 - Johannes Marti:
Conditional Logic is Complete for convexity in the plane. 529-552 - Will Stafford:
The potential in Frege's Theorem. 553-577 - Denis Bonnay, Dag Westerståhl:
Carnap's Problem for Modal Logic. 578-602 - Samuel Z. Elgin:
The Semantic Foundations of Philosophical Analysis. 603-623 - Andrzej Indrzejczak:
Russellian Definite Description Theory - a Proof Theoretic Approach. 624-649 - Saul Aaron Kripke:
Gödel's Theorem and Direct Self-Reference. 650-654
Volume 16, Number 3, September 2023
- Tim Lethen:
Gödel on Many-Valued Logic. 655-671 - Kai Tanter:
Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names. 672-699 - Patrick J. Ryan:
Szemerédi's Theorem: an Exploration of impurity, Explanation, and Content. 700-739 - Aleks Knoks:
Conciliatory Reasoning, Self-Defeat, and Abstract Argumentation. 740-787 - Joan Bagaria, Claudio Ternullo:
Steel's Programme: evidential Framework, the Core and ultimate-l. 788-812 - Christopher Badura, Heinrich Wansing:
Stit-Logic for Imagination Episodes with voluntary input. 813-861 - Landon D. C. Elkind, Richard Zach:
The Genealogy of ''. 862-899 - Hannes Leitgeb:
Ramsification and Semantic Indeterminacy. 900-950 - Satoru Niki:
Improving Strong Negation. 951-977
Volume 16, Number 4, December 2023
- Sourav Tarafder, Giorgio Venturi:
Independence Proofs in non-Classical Set Theories. 979-1010 - Martín Santiago Moroni, Pedro Sánchez Terraf:
The Zhou Ordinal of Labelled Markov Processes over separable Spaces. 1011-1032 - Mario Piazza, Gabriele Pulcini, Matteo Tesi:
Fractional-Valued Modal Logic. 1033-1052 - Giacomo Molinari:
Towards the Inevitability of non-Classical Probability. 1053-1079 - Sébastien Gandon:
Interpretation, Logic and Philosophy: Jean Nicod's Geometry in the sensible World. 1080-1109 - Uwe Petersen:
On Zardini's Rules for multiplicative Quantification as the Source of contra(di)Ctions. 1110-1119 - Greg Restall, Shawn Standefer:
Collection Frames for Distributive Substructural Logics. 1120-1157 - Sam Roberts, Stewart Shapiro:
Hume's Principle, Bad Company, and the Axiom of Choice. 1158-1176 - Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John:
A Substructural Gentzen Calculus for Orthomodular quantum Logic. 1177-1198 - Stephen Mackereth, Jeremy Avigad:
Two-Sorted Frege Arithmetic is not conservative. 1199-1232 - Asger Törnquist, Jens Mammen:
Set Theory and a Model of the Mind in Psychology. 1233-1259 - Johannes Korbmacher:
Proof Systems for exact Entailment. 1260-1295 - Rea Golan:
A Simple Sequent System for minimally Inconsistent LP. 1296-1311
a service of 
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 2024-04-30 20:56 CEST 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:
