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

• 1999
• 
  Mohammad Ardeshir:
  A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. Stud Logica 62(3): 341-352 (1999)
• 
  Fabio Bellissima, Saverio Cittadini:
  Finite Trees in Tense Logic. Stud Logica 62(2): 121-140 (1999)
• 
  Fabio Bellissima, Saverio Cittadini:
  Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. Stud Logica 62(3): 371-398 (1999)
• 
  Patrick Bellot, J.-P. Cottin, Bernard J. Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas:
  Prolegomena of a Logic of Causality and Dynamism. Stud Logica 62(1): 77-105 (1999)
• 
  Guram Bezhanishvili:
  Varieties of Monadic Heyting Algebras Part II: Duality Theory. Stud Logica 62(1): 21-48 (1999)
• 
  Benjamin Blankertz, Andreas Weiermann:
  A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems. Stud Logica 62(3): 399-427 (1999)
• 
  Andrea Cantini:
  Relating Quine's NF to Feferman's EM. Stud Logica 62(2): 141-162 (1999)
• 
  Maria Luisa Dalla Chiara, Daniele Mundici:
  Preface. Stud Logica 62(2): 117-120 (1999)
• 
  Giovanna Corsi:
  Bull's Theorem by the Method of Diagrams. Stud Logica 62(2): 163-176 (1999)
• 
  Dirk van Dalen:
  From Brouwerian Counter Examples to the Creating Subject. Stud Logica 62(2): 305-314 (1999)
• 
  Stéphane Demri, Ewa Orlowska:
  Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. Stud Logica 62(2): 177-200 (1999)
• 
  Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen:
  Quantifiers and Congruence Closure. Stud Logica 62(3): 315-340 (1999)
• 
  Volker Halbach:
  Conservative Theories of Classical Truth. Stud Logica 62(3): 353-370 (1999)
• 
  Judit X. Madarász:
  Interpolation and Amalgamation; Pushing the Limits. Part II. Stud Logica 62(1): 1-19 (1999)
• 
  Annalisa Marcja, Carlo Toffalori:
  On the Elementarity of Some Classes of Abelian-by-Infinite Groups. Stud Logica 62(2): 201-213 (1999)
• 
  Pierluigi Minari:
  Theories of Types and Names with Positive Stratified Comprehension. Stud Logica 62(2): 215-242 (1999)
• 
  Franco Montagna, Giulia Simi:
  Paradigms in Measure Theoretic Learning and in Informant Learning. Stud Logica 62(2): 243-268 (1999)
• 
  Giovanni Sambin:
  Subdirectly Irreducible Modal Algebras and Initial Frames. Stud Logica 62(2): 269-282 (1999)
• 
  Helmut Schwichtenberg:
  Monotone Majorizable Functionals. Stud Logica 62(2): 283-289 (1999)
• 
  A. S. Troelstra:
  Marginalia on Sequent Calculi. Stud Logica 62(2): 291-303 (1999)
• 
  Heinrich Wansing:
  Predicate Logics on Display. Stud Logica 62(1): 49-75 (1999)