Journal of Logic and Computation, Volume 11

Volume 11, Number 1, February 2001

• Dov M. Gabbay:
  Editorial. 1
  
• Heinrich Wansing:
  Editorial and Call for Papers. 3-4
  
• Klaus Robering:
  Ackermann's Implication for Typefree Logic. 5-23
  
• Benedikt Löwe:
  Revision Sequences and Computers with an Infinite Amount of Time. 25-40
  
• Joseph Y. Halpern, Gerhard Lakemeyer:
  Multi-agent Only Knowing. 41-70
  
• Lionel Forget, Vincent Risch, Pierre Siegel:
  Preferential Logics are X-logics. 71-83
  
• Stephan Tobies:
  PSPACE Reasoning for Graded Modal Logics. 85-106
  
• Thomas M. Rudlof:
  SHR Tableaux - A Framework for Automated Model Generation. 107-155
  
• Enrico Giunchiglia, Fausto Giunchiglia:
  Ideal and Real Belief about Belief. 157-192
  
• Luís C. Lamb:
  Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay. 193-194
  

Volume 11, Number 2, April 2001

• Orna Grumberg, Robert P. Kurshan:
  Which Branching-Time Properties are Effectively Linear? 201-228
  
• Daniel J. Lehmann:
  Nonmonotonic Logics and Semantics. 229-256
  
• Gerhard Brewka:
  Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus. 257-282
  
• Agata Ciabattoni:
  Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models. 283-294
  
• Michiel van Lambalgen:
  Conditional Quantification, or Poor Man's Probability. 295-336
  
• Gilbert Ndjatou:
  Minimizing Agent Specifications using a Logic of Knowledge and Actions. 337-354
  
• Richard E. Overill:
  Book Review: "Selected Papers on Analysis of Algorithms" by Donald E. Knuth. 355
  
• Richard E. Overill: Book Review: "Parallel Processing and Parallel Algorithms: Theory and Computation" by Seyed H. Roosta. 355-356
• Richard E. Overill:
  Book Review: "Time Warps, String Edits, and Macromolecules: the Theory and Practice of Sequence Comparison" by David Sankoff and Joseph Kruskal. 356
  

Volume 11, Number 3, June 2001

• Fairouz Kamareddine:
  Editorial. 359-361
  
• Fairouz Kamareddine:
  Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems. 363-394
  
• Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama:
  Approximation Theorems for Intersection Type Systems. 395-417
  
• Gilles Dowek:
  About Folding-Unfolding Cuts and Cuts Modulo. 419-429
  
• Hugo Herbelin:
  Explicit Substitutions and Reducibility. 431-451
  
• Hélène Kirchner, Peter D. Mosses:
  Algebraic Specifications, Higher-order Types and Set-theoretic Models. 453-481
  
• Jonathan P. Seldin:
  Extensional Set Equality in the Calculus of Constructions. 483-493
  

Volume 11, Number 4, August 2001

• Wolfgang May, Paul-Thomas Kandzia:
  Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages. 499-525
  
• Thomas Studer:
  A Semantics for [lambda]: a Calculus with Overloading and Late-binding. 527-544
  
• Twan Laan, Michael Franssen:
  Embedding First-order Logic in a Pure Type System with Parameters. 545-557
  
• Sofia Guerra:
  Composition of Default Specifications. 559-578
  
• Sylvie Coste-Marquis, Pierre Marquis:
  Knowledge Compilation for Closed World Reasoning and Circumscription. 579-607
  
• Edith Hemaspaandra:
  The Complexity of Poor Man's Logic. 609-622
  
• George Tourlakis:
  On the Soundness and Completeness of Equational Predicate Logics. 623-653
  

Volume 11, Number 5, October 2001

• Carlos Areces, Patrick Blackburn:
  Bringing them all Together. 657-669
  
• Jerry Seligman:
  Internalization: The Case of Hybrid Logics. 671-689
  
• Maarten Marx:
  Relation Algebra with Binders. 691-700
  
• Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
  Modal Logic with Bounded Quantification over Worlds. 701-715
  
• Carlos Areces, Maarten de Rijke, Hans de Nivelle:
  Resolution in Modal, Description and Hybrid Logic. 717-736
  
• Valentin Goranko, Dimiter Vakarelov:
  Sahlqvist Formulas in Hybrid Polyadic Modal Logics. 737-754
  

Volume 11, Number 6, December 2001

• Heinrich Wansing:
  Corner on directions in nonclassical logic. 759-760
  
• Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka:
  The Trilattice of Constructive Truth Values. 761-788
  
• Sam Steel:
  Comparing some Intuitions of 'Process Calculus' and 'Program Logic'. 789-827
  
• Francesca Levi:
  Compositional Verification of Quantitative Properties of Statecharts. 829-878
  
• Marcus Kracht:
  Reducing Modal Consequence Relations. 879-907
  
• Mark Reynolds, Michael Zakharyaschev:
  On the Products of Linear Modal Logics. 909-931
  
• Stéphane Demri:
  The Complexity of Regularity in Grammar Logics and Related Modal Logics. 933-960
  
• Richard E. Overill:
  Book Review: "Cryptography and Computational Number Theory" by K.-Y. Lam, I. Shparlinski, H. Wang and C. Xing. 961
  
• Richard E. Overill: Book Review: "Artificial Immune Systems and their Applications" by D. Dasgupta. 961-962
• Vladimir A. Zakharov:
  Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled. 962-964