Logic Journal of the IGPL, Volume 16, 2008

Volume 16, Number 1, February 2008

• Mohammad Ardeshir, Bardyaa Hesaam:
  An Introduction to Basic Arithmetic. 1-13
  
• Sandra Marques Pinto, M. Teresa Oliveira-Martins, M. Céu Pinto:
  Congruences on Dynamic Algebras. 15-31
  
• Gemma Robles, José M. Méndez:
  The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant. 33-41
  
• Miguel Couceiro, Lauri Hella, Jari Kivelä:
  Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic. 43-73
  
• Francis Jeffry Pelletier, Andrew Hartline:
  Ternary Exclusive Or. 75-83
  
• Owen Barnett, Jeff B. Paris:
  Maximum Entropy Inference with Quantified Knowledge. 85-98
  
• M. Zayed:
  An Application of Model Theory to Semimodules. 99-102
  

Volume 16, Number 2, April 2008

• Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
  Logics with the Qualitative Probability Operator. 105-120
  
• Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas:
  Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. 121-153
  
• Ryo Ishigaki, Ryo Kashima:
  Sequent Calculi for Some Strict Implication Logics. 155-174
  
• Linh Anh Nguyen:
  Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. 175-193
  
• Didier Dubois:
  On Ignorance and Contradiction Considered as Truth-Values. 195-216
  

Volume 16, Number 3, June 2008

• George Voutsadakis:
  Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions. 233-248
  
• Emil Jerábek:
  Independent Bases of Admissible Rules. 249-267
  
• Iris Loeb:
  Indecomposability of R and R\{0} in Constructive Reverse Mathematics. 269-273
  
• Gemma Robles:
  The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant. 275-291
  
• Thomas Ågotnes, Michal Walicki:
  Complete Axiomatisations of Properties of Finite Sets. 293-313
  

Volume 16, Number 4, August 2008

• Wolfgang Bibel:
  Transition Logic Revisited. 317-334
  
• Tomasz Polacik:
  Back and Forth Between First-Order Kripke Models. 335-355
  
• Benjamín René Callejas Bedregal, Anderson Paiva Cruz:
  A Characterization of Classic-Like Fuzzy Semantics. 357-370
  
• Evan Goris, Joost J. Joosten:
  Modal Matters for Interpretability Logics. 371-412
  

Volume 16, Number 5, October 2008

• Tarek Sayed Ahmed, Basim Samir:
  The Class SNr₃CA_k is Not Closed Under Completions. 427-429
  
• Lloyd Humberstone:
  Replacing Modus Ponens With One-Premiss Rules. 431-451
  
• J. S. Olson, J. G. Raftery, C. J. Van Alten:
  Structural Completeness in Substructural Logics. 453-495
  

Volume 16, Number 6, December 2008

• Dov M. Gabbay, Amir Pnueli:
  A Sound and Complete Deductive System for CTL* Verification. 499-536
  
• Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay:
  Cut-Based Abduction. 537-560
  
• Seyed Mohammad Bagheri, Massoud Pourmahdian:
  Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. 561-583
  
• Igor Carboni Oliveira, Walter Alexandre Carnielli:
  The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. 585-590
  
• Costas D. Koutras, Christos Nomikos, Pavlos Peppas:
  On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief. 591-604