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