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

• 2000
• 
  Natasha Alechina, Neil Immerman:
  Reachability Logic: An Efficient Fragment of Transitive Closure Logic. Log. J. IGPL 8(3): 325-337 (2000)
• 
  Carlos Areces, Patrick Blackburn, Maarten Marx:
  The Computational Complexity of Hybrid Temporal Logics. Log. J. IGPL 8(5): 653-679 (2000)
• 
  Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff:
  Editorial. Log. J. IGPL 8(3): 231-237 (2000)
• 
  Ofer Arieli, Arnon Avron:
  General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. Log. J. IGPL 8(2): 119-148 (2000)
• 
  John T. Baldwin:
  Finite and Infinite Model Theory - A Historical Perspective. Log. J. IGPL 8(5): 605-628 (2000)
• 
  Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy:
  Concurrent Systems Analysis Using ECATNets. Log. J. IGPL 8(2): 149-164 (2000)
• 
  Johan van Benthem:
  Information Transfer across Chu Spaces. Log. J. IGPL 8(6): 719-731 (2000)
• 
  Patrick Blackburn:
  Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Log. J. IGPL 8(3): 339-365 (2000)
• 
  Torben Braüner:
  A Cut-Free Gentzen Formulation of the Modal Logic S5. Log. J. IGPL 8(5): 629-643 (2000)
• 
  Carlo Cellucci:
  Analytic Cut Trees. Log. J. IGPL 8(6): 733-750 (2000)
• 
  Marcel Crabbé:
  On the Set of Atoms. Log. J. IGPL 8(6): 751-759 (2000)
• 
  Eduardo L. Fermé:
  Irrevocable Belief Revision and Epistemic Entrenchment. Log. J. IGPL 8(5): 645-652 (2000)
• 
  Dov M. Gabbay, Valentin B. Shehtman:
  Products of modal logics. Part 2: Relativised quantifiers in classical logic. Log. J. IGPL 8(2): 165-210 (2000)
• 
  Neil Ghani, Valeria de Paiva, Eike Ritter:
  Linear Explicit Substitutions. Log. J. IGPL 8(1): 7-31 (2000)
• 
  Robert Goldblatt:
  Algebraic Polymodal Logic: A Survey. Log. J. IGPL 8(4): 393-450 (2000)
• 
  Paul R. Halmos:
  An autobiography of Polyadic Algebras. Log. J. IGPL 8(4): 383-392 (2000)
• 
  Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani:
  An Analysis of Empirical Testing for Modal Decision Procedures. Log. J. IGPL 8(3): 293-323 (2000)
• 
  Ian Horrocks, Ulrike Sattler, Stephan Tobies:
  Practical Reasoning for Very Expressive Description Logics. Log. J. IGPL 8(3): 239-263 (2000)
• 
  Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt:
  Resolution-Based Methods for Modal Logics. Log. J. IGPL 8(3): 265-292 (2000)
• 
  Ryo Kashima:
  Completeness of Implicational Relevant Logics. Log. J. IGPL 8(6): 761-785 (2000)
• 
  Costas D. Koutras, Stathis Zachos:
  Many-Valued Reflexive Autoepistemic Logic. Log. J. IGPL 8(1): 33-54 (2000)
• 
  Orna Lichtenstein, Amir Pnueli:
  Propositional Temporal Logics: Decidability and Completeness. Log. J. IGPL 8(1): 55-85 (2000)
• 
  Larisa Maksimova:
  Strongly Decidable Properties of Modal and Intuitionistic Calculi. Log. J. IGPL 8(6): 797-819 (2000)
• 
  Michael Mendler:
  Characterising Combinational Timing Analyses in Intuitionistic Modal Logic. Log. J. IGPL 8(6): 821-852 (2000)
• 
  J. Donald Monk:
  An Introduction to Cylindric Set Algebras. Log. J. IGPL 8(4): 451-496 (2000)
• 
  Angelo Montanari, Adriano Peron, Alberto Policriti:
  The Taming (Timing) of the States. Log. J. IGPL 8(5): 681-699 (2000)
• 
  Tara Nicholson, Ray E. Jennings, Darko Sarenac:
  Revisiting completeness for the K_n modal logics: A new proof. Log. J. IGPL 8(1): 101-105 (2000)
• 
  André Nies:
  Model theory of the computably enumerable many-one degrees. Log. J. IGPL 8(5): 701-706 (2000)
• 
  Alessandra Palmigiano:
  Normal Gentzen Deductions in the Classical Case. Log. J. IGPL 8(2): 211-219 (2000)
• 
  Wojciech Penczek:
  Temporal Approach to Causal Knowledge. Log. J. IGPL 8(1): 87-99 (2000)

skipping 6 more matches