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

• 2002
• 
  Marco Aiello:
  A Spatial Similarity Measure based on Games: Theory and Practice. Log. J. IGPL 10(1): 1-22 (2002)
• 
  Argimiro Arratia:
  On the Descriptive Complexity of a Simplified Game of Hex. Log. J. IGPL 10(2): 105-122 (2002)
• 
  Gustavo Adrian Bodanza:
  Disjunctions and Specificity in Suppositional Defeasible Argumentation. Log. J. IGPL 10(1): 23-49 (2002)
• 
  Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt:
  Formalizing Belief Revision in Type Theory. Log. J. IGPL 10(5): 461-500 (2002)
• 
  Maroua Bouzid, Peter B. Ladkin:
  Simple Reasoning with Time-Dependent Propositions. Log. J. IGPL 10(4): 379-399 (2002)
• 
  Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo:
  Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL 10(2): 123-163 (2002)
• 
  Martin W. Bunder:
  Intersection types for lambda-terms and combinators and their logics. Log. J. IGPL 10(4): 357-378 (2002)
• 
  Claudio Castellini, Alan Smaill:
  A Systematic Presentation of Quantified Modal Logics. Log. J. IGPL 10(6): 571-599 (2002)
• 
  Luis Fariñas del Cerro, Olivier Gasquet:
  A General Framework for Pattern-Driven Modal Tableaux. Log. J. IGPL 10(1): 51-83 (2002)
• 
  Daniel Damian, Olivier Danvy:
  A Simple CPS Transformation of Control-Flow Information. Log. J. IGPL 10(5): 501-515 (2002)
• 
  Marcelo Finger, M. Angela Weiss:
  The Unrestricted Combination of Temporal Logic Systems. Log. J. IGPL 10(2): 165-189 (2002)
• 
  Dov M. Gabbay, Odinaldo Rodrigues, John Woods:
  Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. Log. J. IGPL 10(6): 601-652 (2002)
• 
  Çigdem Gencer:
  Description of Modal Logics Inheriting Admissible Rules for K4. Log. J. IGPL 10(4): 401-411 (2002)
• 
  Silvio Ghilardi:
  A Resolution/Tableaux Algorithm for Projective Approximations in IPC. Log. J. IGPL 10(3): 229-243 (2002)
• 
  Norihiro Kamide:
  Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. Log. J. IGPL 10(6): 653-678 (2002)
• 
  Aleksey G. Kravtsov:
  Polymodal Logics of Commuting Functions. Log. J. IGPL 10(5): 517-533 (2002)
• 
  Carsten Lutz:
  PSpace Reasoning with the Description Logic ALCF(D). Log. J. IGPL 10(5): 535-568 (2002)
• 
  Narciso Martí-Oliet:
  Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. Log. J. IGPL 10(4): 453-455 (2002)
• 
  Yves Moinard, Raymond Rolland:
  Characterizations of Preferential Entailments. Log. J. IGPL 10(3): 245-272 (2002)
• 
  Ralf Naumann:
  A Fibring Semantics for the Semantic-Morphological Interface in Natural Language. Log. J. IGPL 10(2): 191-226 (2002)
• 
  Rolf Nossum:
  Propositional Logic for Ground Semigroups of Context. Log. J. IGPL 10(3): 273-297 (2002)
• 
  Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
  9th Workshop on Logic, Language, Information and Computation. Log. J. IGPL 10(6): 679-688 (2002)
• 
  Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo:
  Fibring Modal First-Order Logics: Completeness Preservation. Log. J. IGPL 10(4): 413-451 (2002)
• 
  Jörg H. Siekmann, Graham Wrightson:
  An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Log. J. IGPL 10(1): 85-103 (2002)
• 
  Neil Tennant:
  Ultimate Normal Forms for Parallelized Natural Deductions. Log. J. IGPL 10(3): 299-337 (2002)
• 
  Jouko A. Väänänen:
  On the semantics of informational independence. Log. J. IGPL 10(3): 339-352 (2002)
• 
  Heinrich Wansing:
  Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema. Log. J. IGPL 10(4): 457-458 (2002)