Logic Journal of the IGPL, Volume 10, 2002

Volume 10, Number 1, January 2002

• Marco Aiello:
  A Spatial Similarity Measure based on Games: Theory and Practice. 1-22
  Electronic Edition (link) BibTeX
• Gustavo Adrian Bodanza:
  Disjunctions and Specificity in Suppositional Defeasible Argumentation. 23-49
  Electronic Edition (link) BibTeX
• Luis Fariñas del Cerro, Olivier Gasquet:
  A General Framework for Pattern-Driven Modal Tableaux. 51-83
  Electronic Edition (link) BibTeX
• Jörg H. Siekmann, Graham Wrightson:
  An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. 85-103
  Electronic Edition (link) BibTeX

Volume 10, Number 2, March 2002

• Argimiro Arratia:
  On the Descriptive Complexity of a Simplified Game of Hex. 105-122
  Electronic Edition (link) BibTeX
• Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo:
  Labelled Natural Deduction for Conditional Logics of Normality. 123-163
  Electronic Edition (link) BibTeX
• Marcelo Finger, M. Angela Weiss:
  The Unrestricted Combination of Temporal Logic Systems. 165-189
  Electronic Edition (link) BibTeX
• Ralf Naumann:
  A Fibring Semantics for the Semantic-Morphological Interface in Natural Language. 191-226
  Electronic Edition (link) BibTeX

Volume 10, Number 3, May 2002

• Silvio Ghilardi:
  A Resolution/Tableaux Algorithm for Projective Approximations in IPC. 229-243
  Electronic Edition (link) BibTeX
• Yves Moinard, Raymond Rolland:
  Characterizations of Preferential Entailments. 245-272
  Electronic Edition (link) BibTeX
• Rolf Nossum:
  Propositional Logic for Ground Semigroups of Context. 273-297
  Electronic Edition (link) BibTeX
• Neil Tennant:
  Ultimate Normal Forms for Parallelized Natural Deductions. 299-337
  Electronic Edition (link) BibTeX
• Jouko A. Väänänen:
  On the semantics of informational independence. 339-352
  Electronic Edition (link) BibTeX

Volume 10, Number 4, July 2002

• Editorial. 355-
  Electronic Edition (link) BibTeX

• Martin W. Bunder:
  Intersection types for lambda-terms and combinators and their logics. 357-378
  Electronic Edition (link) BibTeX
• Maroua Bouzid, Peter B. Ladkin:
  Simple Reasoning with Time-Dependent Propositions. 379-399
  Electronic Edition (link) BibTeX
• Çigdem Gencer:
  Description of Modal Logics Inheriting Admissible Rules for K4. 401-411
  Electronic Edition (link) BibTeX
• Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo:
  Fibring Modal First-Order Logics: Completeness Preservation. 413-451
  Electronic Edition (link) BibTeX
• Narciso Martí-Oliet:
  Review of the paper `Concurrent Systems Analysis Using ECATNets' by F. Belala. 453-455
  Electronic Edition (link) BibTeX
• Heinrich Wansing:
  Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema. 457-458
  Electronic Edition (link) BibTeX

Volume 10, Number 5, September 2002

• Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt:
  Formalizing Belief Revision in Type Theory. 461-500
  Electronic Edition (link) BibTeX
• Daniel Damian, Olivier Danvy:
  A Simple CPS Transformation of Control-Flow Information. 501-515
  Electronic Edition (link) BibTeX
• Aleksey G. Kravtsov:
  Polymodal Logics of Commuting Functions. 517-533
  Electronic Edition (link) BibTeX
• Carsten Lutz:
  PSpace Reasoning with the Description Logic ALCF(D). 535-568
  Electronic Edition (link) BibTeX

Volume 10, Number 6, November 2002

• Claudio Castellini, Alan Smaill:
  A Systematic Presentation of Quantified Modal Logics. 571-599
  Electronic Edition (link) BibTeX
• Dov M. Gabbay, Odinaldo Rodrigues, John Woods:
  Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. 601-652
  Electronic Edition (link) BibTeX
• Norihiro Kamide:
  Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. 653-678
  Electronic Edition (link) BibTeX
• Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
  9th Workshop on Logic, Language, Information and Computation. 679-688
  Electronic Edition (link) BibTeX