• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 32 matches

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

skipping 2 more matches