Bulletin of the IGPL, Volume 1

Volume 1, Number 1, July 1993

• Dov M. Gabbay:
  Editorial. 1-2
  Electronic Edition (link) BibTeX
• Paulo A. S. Veloso:
  A New, Simpler Proof of the Modularisation Theorem for Logical Specifications. 3-12
  Electronic Edition (link) BibTeX
• Michael Zakharyaschev:
  A Sufficient Condition for the Finite Model Property of Modal Logics above K4. 13-21
  Electronic Edition (link) BibTeX
• Michael Freund, Daniel J. Lehmann:
  Nonmonotonic inference operations. 23-68
  Electronic Edition (link) BibTeX
• Hans Jürgen Ohlbach:
  Translation Methods for Non-Classical Logics: An Overview. 69-89
  Electronic Edition (link) BibTeX
• Ágnes Kurucz, István Németi, Ildikó Sain, András Simon:
  Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus. 91-98
  Electronic Edition (link) BibTeX
• Marta Cialdea Mayer, Fiora Pirri:
  First order abduction via tableau and sequent calculi. 99-117
  Electronic Edition (link) BibTeX