Journal of Logic and Computation, Volume 11

Volume 11, Number 1, February 2001

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

Volume 11, Number 2, April 2001

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

Volume 11, Number 3, June 2001

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

Volume 11, Number 4, August 2001

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

Volume 11, Number 5, October 2001

• Carlos Areces, Patrick Blackburn:
  Bringing them all Together. 657-669
  Electronic Edition (link) BibTeX
• Jerry Seligman:
  Internalization: The Case of Hybrid Logics. 671-689
  Electronic Edition (link) BibTeX
• Maarten Marx:
  Relation Algebra with Binders. 691-700
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Carlos Areces, Maarten de Rijke, Hans de Nivelle:
  Resolution in Modal, Description and Hybrid Logic. 717-736
  Electronic Edition (link) BibTeX
• Valentin Goranko, Dimiter Vakarelov:
  Sahlqvist Formulas in Hybrid Polyadic Modal Logics. 737-754
  Electronic Edition (link) BibTeX

Volume 11, Number 6, December 2001

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