Logic Journal of the IGPL, Volume 8, 2000

Volume 8, Number 1, January 2000

• Neil Ghani, Valeria de Paiva, Eike Ritter:
  Linear Explicit Substitutions.
  Electronic Edition (link) BibTeX
• Costas D. Koutras, Stathis Zachos:
  Many-Valued Reflexive Autoepistemic Logic.
  Electronic Edition (link) BibTeX
• Orna Lichtenstein, Amir Pnueli:
  Propositional Temporal Logics: Decidability and Completeness.
  Electronic Edition (link) BibTeX
• Wojciech Penczek:
  Temporal Approach to Causal Knowledge.
  Electronic Edition (link) BibTeX
• Tara Nicholson, Ray E. Jennings, Darko Sarenac:
  Revisiting completeness for the K_n modal logics: A new proof.
  Electronic Edition (link) BibTeX

Volume 8, Number 2, March 2000

• Ofer Arieli, Arnon Avron:
  General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
  Electronic Edition (link) BibTeX
• F. Belala, Mohamed Bettaz, Laure Petrucci-Dauchy:
  Concurrent Systems Analysis Using ECATNets.
  Electronic Edition (link) BibTeX
• Dov M. Gabbay, Valentin B. Shehtman:
  Products of modal logics. Part 2: Relativised quantifiers in classical logic.
  Electronic Edition (link) BibTeX
• Alessandra Palmigiano:
  Normal Gentzen Deductions in the Classical Case.
  Electronic Edition (link) BibTeX

Volume 8, Number 3, May 2000

• Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff:
  Editorial.
  Electronic Edition (link) BibTeX
• Ian Horrocks, Ulrike Sattler, Stephan Tobies:
  Practical Reasoning for Very Expressive Description Logics.
  Electronic Edition (link) BibTeX
• Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt:
  Resolution-Based Methods for Modal Logics.
  Electronic Edition (link) BibTeX
• Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani:
  An Analysis of Empirical Testing for Modal Decision Procedures.
  Electronic Edition (link) BibTeX
• Natasha Alechina, Neil Immerman:
  Reachability Logic: An Efficient Fragment of Transitive Closure Logic.
  Electronic Edition (link) BibTeX
• Patrick Blackburn:
  Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto.
  Electronic Edition (link) BibTeX

Volume 8, Number 4, July 2000

• Editorial.
  Electronic Edition (link) BibTeX
• Paul R. Halmos:
  An autobiography of Polyadic Algebras.
  Electronic Edition (link) BibTeX
• Robert Goldblatt:
  Algebraic Polymodal Logic: A Survey.
  Electronic Edition (link) BibTeX
• J. Donald Monk:
  An Introduction to Cylindric Set Algebras.
  Electronic Edition (link) BibTeX
• Ildikó Sain:
  On the Search for a Finitizable Algebraization of First Order Logic.
  Electronic Edition (link) BibTeX

Volume 8, Number 5, September 2000

• Ruy J. G. B. de Queiroz:
  Editorial.
  Electronic Edition (link) BibTeX
• John T. Baldwin:
  Finite and Infinite Model Theory - A Historical Perspective.
  Electronic Edition (link) BibTeX
• Torben Braüner:
  A Cut-Free Gentzen Formulation of the Modal Logic S5.
  Electronic Edition (link) BibTeX
• Eduardo L. Fermé:
  Irrevocable Belief Revision and Epistemic Entrenchment.
  Electronic Edition (link) BibTeX
• Carlos Areces, Patrick Blackburn, Maarten Marx:
  The Computational Complexity of Hybrid Temporal Logics.
  Electronic Edition (link) BibTeX
• Angelo Montanari, Adriano Peron, Alberto Policriti:
  The Taming (Timing) of the States.
  Electronic Edition (link) BibTeX
• André Nies:
  Model theory of the computably enumerable many-one degrees.
  Electronic Edition (link) BibTeX

Volume 8, Number 6, November 2000

• Johan van Benthem:
  Information Transfer across Chu Spaces.
  Electronic Edition (link) BibTeX
• Carlo Cellucci:
  Analytic Cut Trees.
  Electronic Edition (link) BibTeX
• Marcel Crabbé:
  On the Set of Atoms.
  Electronic Edition (link) BibTeX
• Ryo Kashima:
  Completeness of Implicational Relevant Logics.
  Electronic Edition (link) BibTeX
• Søren Riis, Meera Sitharam:
  Generating hard tautologies using predicate logic and the symmetric group.
  Electronic Edition (link) BibTeX
• Larisa Maksimova:
  Strongly Decidable Properties of Modal and Intuitionistic Calculi.
  Electronic Edition (link) BibTeX
• Michael Mendler:
  Characterising Combinational Timing Analyses in Intuitionistic Modal Logic.
  Electronic Edition (link) BibTeX
• Greg Restall:
  Defining Double Negation Elimination.
  Electronic Edition (link) BibTeX
• Evgeni E. Zolin:
  Embeddings of Propositional Monomodal Logics.
  Electronic Edition (link) BibTeX