• 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 17 matches

• 1999
• 
  Clint J. van Alten, James G. Raftery:
  The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Stud Logica 63(2): 213-222 (1999)
• 
  John Cantwell:
  Some Logics of Iterated Belief Change. Stud Logica 63(1): 49-84 (1999)
• 
  J. W. Degen:
  Complete Infinitary Type Logics. Stud Logica 63(1): 85-119 (1999)
• 
  Raimon Elgueta, Ramon Jansana:
  Definability of Leibniz Equality. Stud Logica 63(2): 223-243 (1999)
• 
  Eduardo L. Fermé, Sven Ove Hansson:
  Selective Revision. Stud Logica 63(3): 331-342 (1999)
• 
  Paolo Gentilini:
  Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric. Stud Logica 63(1): 27-48 (1999)
• 
  Paolo Gentilini:
  Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel. Stud Logica 63(2): 245-268 (1999)
• 
  Paolo Gentilini:
  Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. Stud Logica 63(3): 301-310 (1999)
• 
  Silvio Ghilardi, Pierangelo Miglioli:
  On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. Stud Logica 63(3): 353-385 (1999)
• 
  Ryo Kashima, Norihiro Kamide:
  Substructural Implicational Logics Including the Relevant Logic E. Stud Logica 63(2): 181-212 (1999)
• 
  Ulrich Kohlenbach:
  A Note on Goodman's Theorem. Stud Logica 63(1): 1-5 (1999)
• 
  Duccio Luchi, Franco Montagna:
  An Operational Logic of Proofs with Positive and Negative Information. Stud Logica 63(1): 7-25 (1999)
• 
  James D. McCawley:
  Everything That Linguists Have Always Wanted to Know About Logic. Stud Logica 63(1): 121-150 (1999)
• 
  Adrian Miroiu:
  Actuality and World-Indexed Sentences. Stud Logica 63(3): 311-330 (1999)
• 
  Wim Ruitenburg:
  Basic Logic, K4, and Persistence. Stud Logica 63(3): 343-352 (1999)
• 
  Nobu-Yuki Suzuki:
  Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. Stud Logica 63(3): 387-416 (1999)
• 
  Alexander Yashin:
  New Intuitionistic Logical Constants and Novikov Completeness. Stud Logica 63(2): 151-180 (1999)