default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 12
Volume 12, Number 1, March 2019
- Greg Restall
:
Generality and existence 1: Quantification and Free Logic. 1-29 - Damir D. Dzhafarov:
A note on the Reverse Mathematics of the Sorites. 30-36 - Wojciech Dzik, Piotr Wojtylak:
Unification in superintuitionistic Predicate Logics and its Applications. 37-61 - Nilanjan Das:
Accuracy and UR-Prior Conditionalization. 62-96 - Marco Panza, Andrea Sereni:
Frege's Constraint and the Nature of Frege's Foundational Program. 97-143 - Mateusz Lelyk, Bartosz Wcislo:
Models of positive Truth. 144-172 - Arnon Avron, Yoni Zohar:
Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics. 173-200 - A. J. Cotnoir, Achille C. Varzi:
Natural Axioms for Classical Mereology. 201-208
Volume 12, Number 2, June 2019
- Lorenzo Rossi:
A Unified Theory of Truth and Paradox. 209-254 - Pavel Naumov, Jia Tao:
Everyone Knows that someone Knows: Quantifiers over Epistemic Agents. 255-270 - Alexander Paseau:
Capturing Consequence. 271-295 - Vít Puncochár:
Substructural Inquisitive Logics. 296-330 - Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli:
An Abstract Approach to Consequence Relations. 331-371 - Vera Flocke:
Carnap's Defense of Impredicative Definitions. 372-404
Volume 12, Number 3, September 2019
- Philip Kremer:
Quantified intuitionistic Logic over metrizable Spaces. 405-425 - James Ladyman, Stuart Presnell:
Universes and univalence in homotopy Type Theory. 426-455 - Fausto Barbero:
Some observations about generalized Quantifiers in Logics of Imperfect Information. 456-486 - Wesley H. Holliday, Tadeusz Litak:
Complete additivity and Modal Incompleteness. 487-535 - Kit Fine, Mark Jago:
Logic for exact Entailment. 536-556 - Tommaso Moraschini:
Varieties of positive Modal Algebras and Structural Completeness. 557-588 - Byeong-Uk Yi:
Two Syllogisms in the Mozi: Chinese Logic and Language. 589-606
Volume 12, Number 4, December 2019
- Edi Pavlovic, Norbert Gratzl:
Proof-Theoretic Analysis of the Quantified Argument Calculus. 607-636 - Matthew Harrison-Trainor:
First-order possibility Models and Finitary Completeness Proofs. 637-662 - Minghui Ma, Hans van Ditmarsch:
Dynamic Graded Epistemic Logic. 663-684 - Patrick Girard, Zach Weber:
Modal Logic without Contraction in a Metatheory without Contraction. 685-701 - Tai-Wei Hu, Mamoru Kaneko, Nobu-Yuki Suzuki:
Small Infinitary Epistemic Logics. 702-735 - Emmanuel Chemla, Paul Égré:
Suszko's Problem: mixed Consequence and Compositionality. 736-767 - Matthew Mandelkern:
Modality and Expressibility. 768-805 - Andrzej Indrzejczak:
Cut Elimination in Hypersequent Calculus for some Logics of linear Time. 806-822 - Sam Roberts:
Modal Structuralism and Reflection. 823-860 - Eric Raidl:
Completeness for Counter-doxa Conditionals - using Ranking Semantics. 861-891
- Hajnal Andréka, István Németi, Steven Givant:
Nonrepresentable Relation Algebras from Groups - addendum. 892
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-12-20 23:47 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:
