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

• 2008
• 
  Thomas Ågotnes, Michal Walicki:
  Complete Axiomatisations of Properties of Finite Sets. Log. J. IGPL 16(3): 293-313 (2008)
• 
  Tarek Sayed Ahmed, Basim Samir:
  The Class SNr₃CA_k is Not Closed Under Completions. Log. J. IGPL 16(5): 427-429 (2008)
• 
  Mohammad Ardeshir, Bardyaa Hesaam:
  An Introduction to Basic Arithmetic. Log. J. IGPL 16(1): 1-13 (2008)
• 
  Seyed Mohammad Bagheri, Massoud Pourmahdian:
  Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. Log. J. IGPL 16(6): 561-583 (2008)
• 
  Owen Barnett, Jeff B. Paris:
  Maximum Entropy Inference with Quantified Knowledge. Log. J. IGPL 16(1): 85-98 (2008)
• 
  Benjamín René Callejas Bedregal, Anderson Paiva Cruz:
  A Characterization of Classic-Like Fuzzy Semantics. Log. J. IGPL 16(4): 357-370 (2008)
• 
  Wolfgang Bibel:
  Transition Logic Revisited. Log. J. IGPL 16(4): 317-334 (2008)
• 
  Miguel Couceiro, Lauri Hella, Jari Kivelä:
  Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic. Log. J. IGPL 16(1): 43-73 (2008)
• 
  Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas:
  Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Log. J. IGPL 16(2): 121-153 (2008)
• 
  Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay:
  Cut-Based Abduction. Log. J. IGPL 16(6): 537-560 (2008)
• 
  Didier Dubois:
  On Ignorance and Contradiction Considered as Truth-Values. Log. J. IGPL 16(2): 195-216 (2008)
• 
  Dov M. Gabbay, Amir Pnueli:
  A Sound and Complete Deductive System for CTL* Verification. Log. J. IGPL 16(6): 499-536 (2008)
• 
  Evan Goris, Joost J. Joosten:
  Modal Matters for Interpretability Logics. Log. J. IGPL 16(4): 371-412 (2008)
• 
  Lloyd Humberstone:
  Replacing Modus Ponens With One-Premiss Rules. Log. J. IGPL 16(5): 431-451 (2008)
• 
  Ryo Ishigaki, Ryo Kashima:
  Sequent Calculi for Some Strict Implication Logics. Log. J. IGPL 16(2): 155-174 (2008)
• 
  Emil Jerábek:
  Independent Bases of Admissible Rules. Log. J. IGPL 16(3): 249-267 (2008)
• 
  Costas D. Koutras, Christos Nomikos, Pavlos Peppas:
  On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief. Log. J. IGPL 16(6): 591-604 (2008)
• 
  Iris Loeb:
  Indecomposability of R and R\{0} in Constructive Reverse Mathematics. Log. J. IGPL 16(3): 269-273 (2008)
• 
  Linh Anh Nguyen:
  Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. Log. J. IGPL 16(2): 175-193 (2008)
• 
  Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
  Logics with the Qualitative Probability Operator. Log. J. IGPL 16(2): 105-120 (2008)
• 
  Igor Carboni Oliveira, Walter Alexandre Carnielli:
  The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. Log. J. IGPL 16(6): 585-590 (2008)
• 
  Jeffrey S. Olson, James G. Raftery, Clint J. van Alten:
  Structural Completeness in Substructural Logics. Log. J. IGPL 16(5): 453-495 (2008)
• 
  Francis Jeffry Pelletier, Andrew Hartline:
  Ternary Exclusive Or. Log. J. IGPL 16(1): 75-83 (2008)
• 
  Sandra Marques Pinto, M. Teresa Oliveira-Martins, M. Céu Pinto:
  Congruences on Dynamic Algebras. Log. J. IGPL 16(1): 15-31 (2008)
• 
  Tomasz Polacik:
  Back and Forth Between First-Order Kripke Models. Log. J. IGPL 16(4): 335-355 (2008)
• 
  Gemma Robles:
  The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant. Log. J. IGPL 16(3): 275-291 (2008)
• 
  Gemma Robles, José M. Méndez:
  The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant. Log. J. IGPL 16(1): 33-41 (2008)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions. Log. J. IGPL 16(3): 233-248 (2008)
• 
  M. Zayed:
  An Application of Model Theory to Semimodules. Log. J. IGPL 16(1): 99-102 (2008)