Logic Journal of the IGPL, Volume 9, 2001

Volume 9, Number 1, January 2001

• Alessandro Avellone, Marco Benini, Ugo Moscato:
  How to Avoid the Formal Verification of a Theorem Prover.
  Electronic Edition (link) BibTeX
• Roy L. Crole:
  Completeness of Bisimilarity for Contextual Equivalence in Linear Theories.
  Electronic Edition (link) BibTeX
• Joe Hurd:
  Congruence Classes with Logic Variables.
  Electronic Edition (link) BibTeX
• Maarten Marx, Szabolcs Mikulás:
  Products, or How to Create Modal Logics of High Complexity.
  Electronic Edition (link) BibTeX
• Allan Ramsay:
  Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application.
  Electronic Edition (link) BibTeX
• Gabriel Sandu, Ahti Pietarinen:
  Partiality and Games: Propositional Logic.
  Electronic Edition (link) BibTeX
• Ruy J. G. B. de Queiroz:
  7th Workshop on Logic, Language, Information and Computation (WoLLIC'99).
  Electronic Edition (link) BibTeX
• Book Announcement.
  Electronic Edition (link) BibTeX

Volume 9, Number 2, March 2001

• Jim Cunningham, Dov M. Gabbay:
  Editorial.
  Electronic Edition (link) BibTeX
• Dov M. Gabbay, John Woods:
  The New Logic.
  Electronic Edition (link) BibTeX
• Peter McBurney, Simon Parsons:
  Dialectical Argumentation for Reasoning about Chemical Carcinogenicity.
  Electronic Edition (link) BibTeX
• Gerry Wolff:
  Information Compression by Multiple Alignment, Unification and Search as a Framework for Human-Like Reasoning.
  Electronic Edition (link) BibTeX
• Jeff B. Paris, M. Wafy:
  On the Emergence of Reasons in Inductive Logic.
  Electronic Edition (link) BibTeX
• Paul Wong, Philippe Besnard:
  Paraconsistent Reasoning as an Analytic Tool.
  Electronic Edition (link) BibTeX
• Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum:
  Interpolation in Practical Formal Development.
  Electronic Edition (link) BibTeX
• John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek:
  On Programming KARO Agents.
  Electronic Edition (link) BibTeX
• Michael Wooldridge, Alessio Lomuscio:
  A Computationally Grounded Logic of Visibility, Perception, and Knowledge.
  Electronic Edition (link) BibTeX
• Laura Giordano, Alberto Martelli, Camilla Schwind:
  Reasoning about Actions in Dynamic Linear Time Temporal Logic.
  Electronic Edition (link) BibTeX
• Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge:
  Creating Collective Intention through Dialogue.
  Electronic Edition (link) BibTeX
• Dov M. Gabbay, John Woods:
  More on Non-Cooperation in Dialogue Logic.
  Electronic Edition (link) BibTeX
• Jim Cunningham:
  Towards an Axiomatic Theory of Consciousness.
  Electronic Edition (link) BibTeX

Volume 9, Number 3, May 2001

• Horatiu Cirstea, Claude Kirchner:
  The rewriting calculus - Part I.
  Electronic Edition (link) BibTeX
• Horatiu Cirstea, Claude Kirchner:
  The rewriting calculus - Part II.
  Electronic Edition (link) BibTeX
• Fairouz Kamareddine:
  Editorial.
  Electronic Edition (link) BibTeX
• Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
  Tableau Reasoning and Programming with Dynamic First Order Logic.
  Electronic Edition (link) BibTeX
• Jacques D. Fleuriot:
  Theorem Proving in Infinitesimal Geometry.
  Electronic Edition (link) BibTeX
• Lawrence C. Paulson:
  A Simple Formalization and Proof for the Mutilated Chess Board.
  Electronic Edition (link) BibTeX

Volume 9, Number 4, July 2001

• Mauricio Ayala-Rincón, Fairouz Kamareddine:
  Unification via the lambda s_e-Style of Explicit Substitutions.
  Electronic Edition (link) BibTeX
• Katalin Bimbó:
  Semantics for Structurally Free Logics LC+.
  Electronic Edition (link) BibTeX
• Roy Dyckhoff, Sara Negri:
  Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi.
  Electronic Edition (link) BibTeX
• Keiko Ishihara, Kunihiko Hiraishi:
  The Completeness of Linear Logic for Petri Net Models.
  Electronic Edition (link) BibTeX
• Nicolas Peltier:
  On the decidability of the PVD class with equality.
  Electronic Edition (link) BibTeX
• Tarek Sayed Ahmed:
  The Class of Neat Reducts is Not Elementary.
  Electronic Edition (link) BibTeX

Volume 9, Number 5, September 2001

• Graham White:
  A Linear Meta-Interpreter for Reasoning About States and Actions.
  Electronic Edition (link) BibTeX
• Dimitar P. Guelev:
  Interval-Related Interpolation in Interval Temporal Logics.
  Electronic Edition (link) BibTeX
• Rohit Parikh, Laxmi Parida, Vaughan R. Pratt:
  Sock Sorting: An Example of a Vague Algorithm.
  Electronic Edition (link) BibTeX
• Ruy J. G. B. de Queiroz:
  Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts.
  Electronic Edition (link) BibTeX
• Patrick Blackburn, Maarten Marx:
  Third International Workshop on Hybrid Logic (HyLo'01).
  Electronic Edition (link) BibTeX
• Ruy J. G. B. de Queiroz:
  8th Workshop on Logic, Language, Information and Computation.
  Electronic Edition (link) BibTeX

Volume 9, Number 6, November 2001

• Samir Chopra, Rohit Parikh, Renata Wassermann:
  Approximate Belief Revision.
  Electronic Edition (link) BibTeX
• Richard Gault, Iain A. Stewart:
  On a hierarchy involving transitive closure logic and existential second-order quantification.
  Electronic Edition (link) BibTeX
• Gerhard Jäger:
  Lambek Grammars as Combinatory Categorial Grammars.
  Electronic Edition (link) BibTeX
• Eugenia Reznik, Philippe Curmin:
  Intuitionistic Sequent Calculi for Finitely Many-valued Logics.
  Electronic Edition (link) BibTeX
• Pedro J. Martín, Antonio Gavilanes:
  Free-variable Tableaux for Monotonic PreordersI.
  Electronic Edition (link) BibTeX