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. 1-25
  
• Roy L. Crole:
  Completeness of Bisimilarity for Contextual Equivalence in Linear Theories. 27-51
  
• Joe Hurd:
  Congruence Classes with Logic Variables. 53-69
  
• Maarten Marx, Szabolcs Mikulás:
  Products, or How to Create Modal Logics of High Complexity. 71-82
  
• Allan Ramsay:
  Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application. 83-100
  
• Gabriel Sandu, Ahti Pietarinen:
  Partiality and Games: Propositional Logic. 101-121
  
• Ruy J. G. B. de Queiroz:
  7th Workshop on Logic, Language, Information and Computation (WoLLIC'99). 739-754
  
• Book Announcement.
  

Volume 9, Number 2, March 2001

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

Volume 9, Number 3, May 2001

• Horatiu Cirstea, Claude Kirchner:
  The rewriting calculus - Part I. 339-375
  
• Horatiu Cirstea, Claude Kirchner:
  The rewriting calculus - Part II. 377-410
  
• Fairouz Kamareddine:
  Editorial. 335-337
  
• Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
  Tableau Reasoning and Programming with Dynamic First Order Logic. 411-445
  
• Jacques D. Fleuriot:
  Theorem Proving in Infinitesimal Geometry. 447-474
  
• Lawrence C. Paulson:
  A Simple Formalization and Proof for the Mutilated Chess Board. 475-485
  

Volume 9, Number 4, July 2001

• Mauricio Ayala-Rincón, Fairouz Kamareddine:
  Unification via the lambda s_e-Style of Explicit Substitutions. 489-523
  
• Katalin Bimbó:
  Semantics for Structurally Free Logics LC+. 525-539
  
• Roy Dyckhoff, Sara Negri:
  Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi. 541-548
  
• Keiko Ishihara, Kunihiko Hiraishi:
  The Completeness of Linear Logic for Petri Net Models. 549-567
  
• Nicolas Peltier:
  On the decidability of the PVD class with equality. 569-592
  
• Tarek Sayed Ahmed:
  The Class of Neat Reducts is Not Elementary. 593-628
  

Volume 9, Number 5, September 2001

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

Volume 9, Number 6, November 2001

• Samir Chopra, Rohit Parikh, Renata Wassermann:
  Approximate Belief Revision. 755-768
  
• Richard Gault, Iain A. Stewart:
  On a hierarchy involving transitive closure logic and existential second-order quantification. 769-780
  
• Gerhard Jäger:
  Lambek Grammars as Combinatory Categorial Grammars. 781-792
  
• Eugenia Reznik, Philippe Curmin:
  Intuitionistic Sequent Calculi for Finitely Many-valued Logics. 793-812
  
• Pedro J. Martín, Antonio Gavilanes:
  Free-variable Tableaux for Monotonic PreordersI. 813-844
  

Last update Sat May 18 20:30:03 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page