Logic Journal of the IGPL, Volume 11, 2003

Volume 11, Number 1, January 2003

• Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi:
  On Uniformly Constructive and Semiconstructive Formal Systems. 1-49
  
• Ralph Loader:
  Higher Order beta Matching is Undecidable. 51-68
  
• David Makinson:
  Bridges between Classical and Nonmonotonic Logic. 69-96
  
• Nicolas Peltier:
  Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae. 97-129
  

Volume 11, Number 2, March 2003

• Wiebe van der Hoek, Michael Wooldridge:
  Editorial.
  
• Wiebe van der Hoek, Michael Wooldridge:
  Towards a Logic of Rational Agency. 135-159
  
• Yves Lespérance:
  On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. 161-178
  
• Henrik Grosskreutz, Gerhard Lakemeyer:
  ccGolog -- A Logical Language Dealing with Continuous Change. 179-221
  
• Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer:
  Iterated Belief Change in Multi-Agent Systems. 223-246
  
• Maria Fasli:
  Reasoning about Knowledge and Belief: A Syntactical Treatment. 247-284
  

Volume 11, Number 3, May 2003

• Moshe Deutsch, Martin C. Henson, Steve Reeves:
  An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. 287-317
  
• Moshe Deutsch, Martin C. Henson:
  An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. 319-352
  
• Kevin M. Knight:
  Probabilistic Entailment and a Non-Probabilistic Logic. 353-365
  
• Sergei Tupailo:
  Epsilon Substitution Method for Delta¹₁-CR: a Constructive Termination Proof. 367-377
  

Volume 11, Number 4, July 2003

• Johan Bos, Michael Kohlhase:
  Editorial. 381-384
  
• Yaroslav Fyodorov, Yoad Winter, Nissim Francez:
  Order-Based Inference in Natural Logic. 385-416
  
• Raffaella Bernardi, Richard Moot:
  Generalized Quantifiers in Declarative and Interrogative Sentences. 419-434
  
• Michael Kohlhase, Alexander Koller:
  Resource-Adaptive Model Generation as a Performance Model. 435-456
  
• Claus Zinn:
  Computational Framework For Understanding Mathematical Discourse. 457-484
  
• Jörn Kreutel, Colin Matheson:
  Incremental Information State Updates in an Obligation-Driven Dialogue Model. 485-511
  

Volume 11, Number 5, September 2003

• Damjan Bojadziev:
  A Note on Interaction and Incompleteness. 513-523
  
• Kai Brünnler:
  Two Restrictions on Contraction. 525-529
  
• Konstantinos Georgatos:
  On Indistinguishability and Prototypes. 531-545
  
• Dale Jacquette:
  The Soundness Paradox. 547-556
  
• Audun Stolpe:
  QMML: Quantified Minimal Modal Logic and Its Applications. 557-575
  
• Roger D. Maddux:
  Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games. 577-581
  

Volume 11, Number 6, November 2003

• Dov M. Gabbay, John Woods:
  Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches. 597-613
  
• Ichiro Hasuo, Ryo Kashima:
  Kripke Completeness of First-Order Constructive Logics with Strong Negation. 615-646
  
• Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller:
  Automatic Learning of Proof Methods in Proof Planning. 647-673
  
• Neil Tennant:
  Theory-Contraction is NP-Complete. 675-693