Logic Journal of the IGPL, Volume 4, 1996

Volume 4, Number 1, February 1996

• Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri:
  A Structural Property on Modal Frames Characterizing Default Logic. 7-22
  
• Brandon Bennett:
  Modal Logics for Qualitative Spatial Reasoning. 23-45
  
• Gerd Große, Hesham Khalil:
  State Event Logic. 47-74
  
• Christoph Kreitz:
  Formal Mathematics for Verifiably Correct Program Synthesis. 75-94
  
• Marta Cialdea Mayer, Fiora Pirri:
  Abduction is not Deduction-in-Reverse. 95-108
  
• Hans Jürgen Ohlbach:
  Computer Support for the Development and Investigation of Logics. 109-127
  
• Jeremy Pitt, Jim Cunningham:
  Theorem Proving and Model Building with the Calculus KE. 129-150
  

Volume 4, Number 2, March 1996

• Dusko Pavlovic:
  Maps II: Chasing Diagrams in Categorical Proof Theory. 159-194
  
• Fairouz Kamareddine, Twan Laan:
  A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths. 195-213
  
• Norman D. Megill, Martin W. Bunder:
  Weaker D-Complete Logics. 215-225
  
• Luc De Raedt, Nada Lavrac:
  Multiple Predicate Learning in Two Inductive Logic Programming Settings. 227-254
  
• Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher:
  Languages, Meta-languages and METATEM, A Discussion Paper. 255-272
  
• Timothy Surendonk:
  A Non-Standard Injection Between Canonical Frames. 273-282
  
• Timothy Williamson:
  Some Admissible Rules in Modal Systems with the Brouwerian Axiom. 283-303
  
• Heinrich Wansing:
  Reviews. 305-308
  
• Ruy J. G. B. de Queiroz:
  Second Workshop on Logic, Language, Information and Computation (WoLLIC'95). 309-344
  

Volume 4, Number 3, June 1996

• Jim Cunningham:
  Editorial. 353
  
• Sven-Erik Bornscheuer, Michael Thielscher:
  Representing Concurrent Actions and Solving Conflicts. 355-368
  
• Robert Demolombe, Andrew J. I. Jones:
  Integrity Constraints Revisited. 369-383
  
• Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
  A Language for Handling Hypothetical Updates and Inconsistency. 385-416
  
• Olivier Gasquet:
  Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics. 417-426
  
• Andrew J. I. Jones, Marek J. Sergot:
  A Formal Characterisation of Institutionalised Power. 427-443
  
• Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans:
  Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. 445-472
  
• Ruy J. G. B. de Queiroz:
  Conferences. 473-527