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

• 1994
• 
  Erik Aarts:
  Proving theorems of the second order Lambek calculus in polynominal time. Stud Logica 53(3): 373-388 (1994)
• 
  Giambattista Amati, Fiora Pirri:
  A uniform tableau method for intuitionistic modal logics I. Stud Logica 53(1): 29-60 (1994)
• 
  Claudio Cerrato:
  Decidability by Filtrations for graded normal logics (graded modalities V). Stud Logica 53(1): 61-74 (1994)
• 
  Newton C. A. da Costa, Décio Krause:
  Schrödinger logics. Stud Logica 53(4): 533-550 (1994)
• 
  Klaus Denecke, Katarzyna Halkowska:
  On P-compatible hybrid identities and hyperidentities. Stud Logica 53(4): 493-502 (1994)
• 
  Max A. Freund:
  The relative consistency of system RRC^* and some of its extensions. Stud Logica 53(3): 351-360 (1994)
• 
  Michael Freund, Daniel Lehmann:
  Nonmonotonic reasoning: from finitary relations to infinitary inference operations. Stud Logica 53(2): 161-202 (1994)
• 
  André Fuhrmann, Edwin D. Mares:
  On S. Stud Logica 53(1): 75-92 (1994)
• 
  Sergio Galvan:
  A note an the omega-incompleteness formalization. Stud Logica 53(3): 389-396 (1994)
• 
  Valentin Goranko:
  Refutation systems in modal logic. Stud Logica 53(2): 299-324 (1994)
• 
  Rajeev Goré:
  Cut-free sequent and tableau systems for propositional Diodorean modal logics. Stud Logica 53(3): 433-458 (1994)
• 
  Fernando Guzmán:
  A Gentzen system for conditional logic. Stud Logica 53(2): 243-258 (1994)
• 
  David Isles:
  A finite analog to the Löwenheim-Skolem theorem. Stud Logica 53(4): 503-532 (1994)
• 
  Bjarni Jónsson:
  On the canonicity of Sahlqvist identities. Stud Logica 53(4): 473-492 (1994)
• 
  Ryo Kashima:
  Cut-free sequent calculi for some tense logics. Stud Logica 53(1): 119-136 (1994)
• 
  Yuichi Komori:
  Syntactical investigations into BI logic and BB'I logic. Stud Logica 53(3): 397-416 (1994)
• 
  Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
  P1 algebras. Stud Logica 53(1): 21-28 (1994)
• 
  Robert K. Meyer, Hiroakira Ono:
  The finite model property for BCK arid BCIW. Stud Logica 53(1): 107-118 (1994)
• 
  Misao Nagayama:
  On a property of BCK-identities. Stud Logica 53(2): 227-234 (1994)
• 
  Antonio Di Nola, Ada Lettieri:
  Perfect MV-algebras are categorically equivalent to Abelian l-grups. Stud Logica 53(3): 417-432 (1994)
• 
  Katarzyna Palasinska:
  Three-element nonfinitely axiomatizable matrices. Stud Logica 53(3): 361-372 (1994)
• 
  Tomasz Polacik:
  Second order propositional operators over Cantor space. Stud Logica 53(1): 93-106 (1994)
• 
  Helena Rasiowa:
  Axiomatization and completeness of uncountably valued approximation logic. Stud Logica 53(1): 137-160 (1994)
• 
  Helena Rasiowa:
  In Memoriam Cecylia Rauszer. Stud Logica 53(4): 467-472 (1994)
• 
  Vladimir V. Rybakov:
  Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Stud Logica 53(2): 203-226 (1994)
• 
  Antonio J. Rodríguez Salas, Antoni Torrens:
  Wajsberg algebras and Post algebras. Stud Logica 53(1): 1-20 (1994)
• 
  Marek Tokarz:
  Non-axiomatizability of Grice's implicature. Stud Logica 53(2): 343-350 (1994)
• 
  Max P. Urchs:
  On the logic of event-causation. Jaskowski-style systems causal logic. Stud Logica 53(4): 551-578 (1994)
• 
  George Weaver:
  Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. Stud Logica 53(2): 325-342 (1994)
• 
  Frank Wolter:
  What is the upper part of the lattice of bimodal logics? Stud Logica 53(2): 235-242 (1994)

skipping 1 more match