default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 2
Volume 2, Number 1, March 2009
- Corine Besson:
Externalism, internalism, and Logical Truth. 1-29 - Wim Veldman:
The Fine Structure of the intuitionistic Borel Hierarchy. 30-101 - Katalin Bimbó, J. Michael Dunn, Roger D. Maddux
:
Relevance Logics and Relation Algebras. 102-131 - Paul Weingartner:
Matrix-based Logic for Application in Physics. 132-163 - Massimiliano Carrara, Enrico Martino:
On the Ontological Commitment of Mereology. 164-174 - Stewart Shapiro:
We Hold these Truths to be Self-Evident: but What do we mean by that? 175-207 - Hanoch Ben-Yami:
Plural Quantification Logic: a Critical Appraisal. 208-232 - Sebastian Sequoiah-Grayson:
Dynamic Negation and Negative Information. 233-248
Volume 2, Number 2, June 2009
- Mario Gómez-Torrente:
Rereading Tarski on Logical Consequence. 249-297 - Jeff B. Paris, Richard Simmonds:
O is not Enough. 298-309 - Robert Goldblatt:
Conservativity of Heyting Implication over Relevant Quantification. 310-341 - Hartry Field:
Pluralism in Logic. 342-359 - Graham Priest:
Neighborhood Semantics for Intentional operators. 360-373 - Norihiro Kamide, Heinrich Wansing:
Sequent Calculi for some Trilattice Logics. 374-395 - Dov M. Gabbay, Karl Schlechta:
Size and Logic. 396-413 - Dov M. Gabbay, Karl Schlechta:
Reactive Preferential Structures and Nonmonotonic Consequence. 414-450
Volume 2, Number 3, September 2009
- Joseph Y. Halpern, Dov Samet, Ella Segev:
On Definability in Multimodal Logic. 451-468 - Joseph Y. Halpern, Dov Samet, Ella Segev:
Defining Knowledge in Terms of Belief: the Modal Logic Perspective. 469-487 - Ross T. Brady, Penelope Rush:
Four Basic Logical Issues. 488-508 - Moritz Schulz:
A Note on two theorems by Adams and McGee. 509-516 - Guram Bezhanishvili, Nick Bezhanishvili:
An Algebraic Approach to Canonical Formulas: intuitionistic Case. 517-549 - Wagner de Campos Sanz, Thomas Piecha:
Inversion by Definitional Reflection and the Admissibility of Logical Rules. 550-569 - Albert Visser:
Cardinal Arithmetic in the Style of Baron von MüNchhausen. 570-589
- Joseph Y. Halpern:
Intransitivity and Vagueness - Corrigendum. 591
Volume 2, Number 4, December 2009
- Francesca Poggiolesi:
A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability. 593-611 - Paolo Mancosu:
Measuring the Size of Infinite Collections of Natural numbers: was Cantor's Theory of Infinite number Inevitable? 612-646 - Ian Pratt-Hartmann, Lawrence S. Moss:
Logics for the Relational Syllogistic. 647-683 - Riccardo Bruni:
A Note on Theories for quasi-Inductive Definitions. 684-699 - Jeremy Avigad, Edward T. Dean, John Mumma:
A Formal System for Euclid's Elements. 700-768 - Gregory Lavers:
Benacerraf's Dilemma and Informal Mathematics. 769-785 - Volker Halbach:
Reducing Compositional to Disquotational Truth. 786-798 - Martin Fischer:
Minimal Truth and interpretability. 799-815
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-12-22 19:01 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:
