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

• 2007
• 
  Tarek Sayed Ahmed:
  A Note on Neat Reducts. Stud Logica 85(2): 139-151 (2007)
• 
  Marc Aiguier, Fabrice Barbier:
  An Institution-independent Proof of the Beth Definability Theorem. Stud Logica 85(3): 333-359 (2007)
• 
  Marta Bílková:
  Uniform Interpolation and Propositional Quantifiers in Modal Logics. Stud Logica 85(1): 1-31 (2007)
• 
  Loïc Colson:
  Another Paradox In Naive Set-Theory. Stud Logica 85(1): 33-39 (2007)
• 
  Roy Cook:
  Book Reviews. Stud Logica 85(2): 277-281 (2007)
• 
  Barbara Dziemidowicz-Gryz:
  On Learnability of Restricted Classes of Categorial Grammars. Stud Logica 85(2): 153-169 (2007)
• 
  Melvin Fitting:
  Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. Stud Logica 85(2): 275 (2007)
• 
  Daniel Gâinâ, Andrei Popescu:
  An Institution-Independent Proof of the Robinson Consistency Theorem. Stud Logica 85(1): 41-73 (2007)
• 
  Katarzyna Gajewska-Kurdziel, Krystyna Mruczek-Nasieniewska:
  The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent n. Stud Logica 85(3): 361-379 (2007)
• 
  Lou Goble:
  Combinatory Logic and the Semantics of Substructural Logics. Stud Logica 85(2): 171-197 (2007)
• 
  Joanna Golinska-Pilarek, Ewa Orlowska:
  Tableaux and Dual Tableaux: Transformation of Proofs. Stud Logica 85(3): 283-302 (2007)
• 
  Andrew David Irvine:
  John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. Stud Logica 85(3): 425-428 (2007)
• 
  Reinhard Kahle:
  Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. Stud Logica 85(3): 419-424 (2007)
• 
  Igor Kozine:
  Joseph Y. Halpern, Reasoning about uncertainty. Stud Logica 85(3): 411-412 (2007)
• 
  Oliver Kutz:
  Notes on Logics of Metric Spaces. Stud Logica 85(1): 75-104 (2007)
• 
  Yutaka Miyazaki:
  Kripke Incomplete Logics Containing KTB. Stud Logica 85(3): 303-317 (2007)
• 
  Yutaka Miyazaki:
  A Splitting Logic in NExt(KTB). Stud Logica 85(3): 381-394 (2007)
• 
  Claudio E. A. Pizzi:
  Necessity and Relative Contingency. Stud Logica 85(3): 395-410 (2007)
• 
  Robert van Rooij:
  The Stag Hunt and the Evolution of Social Structure. Stud Logica 85(1): 133-138 (2007)
• 
  Anders Søgaard:
  Patrick Blackburnand Johan Bos, Representation and Inference for Natural Language. Stud Logica 85(3): 413-418 (2007)
• 
  Phiniki Stouppa:
  A Deep Inference System for the Modal Logic S5. Stud Logica 85(2): 199-214 (2007)
• 
  Sebastiaan Terwijn:
  Kripke Models, Distributive Lattices, and Medvedev Degrees. Stud Logica 85(3): 319-332 (2007)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. Stud Logica 85(2): 215-249 (2007)
• 
  Xuefeng Wen:
  A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis. Stud Logica 85(2): 251-260 (2007)
• 
  Urszula Wybraniec-Skardowska:
  Meaning and Interpretation. I. Stud Logica 85(1): 105-132 (2007)
• 
  Urszula Wybraniec-Skardowska:
  Meaning and Interpretation. II. Stud Logica 85(2): 261-274 (2007)