Journal of Logic and Computation, Volume 13

Volume 13, Number 1, February 2003

• Dov M. Gabbay:
  Editorial. 1
  
• Dov M. Gabbay, Gabriella Pigozzi, John Woods:
  Controlled Revision - An algorithmic approach for belief revision. 3-22
  
• Sven Ove Hansson:
  Ten Philosophical Problems in Belief Revision. 37-49
  
• Lee C. Hill, Jeff B. Paris:
  When Maximizing Entropy gives the Rational Closure. 51-68
  
• Odinaldo Rodrigues:
  Structured Clusters: A Framework to Reason with Contradictory Interests. 69-97
  
• Eduardo L. Fermé, Juan Mikalef, Jorge Taboada:
  Credibility-limited Functions for Belief Bases. 99-110
  
• Hans Rott:
  Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence. 111-145
  
• Alice ter Meulen:
  Representation and Human Reasoning. 147-155
  

Volume 13, Number 2, April 2003

• Xizhong Zheng:
  On the Turing Degrees of Weakly Computable Real Numbers. 159-172
  
• Giovanna D'Agostino:
  Characterizing Interpolation Pairs in Infinitary Graded Logics. 173-193
  
• Howard Bowman, Simon J. Thompson:
  A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. 195-239
  
• Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
  A Tableau Calculus for Hájek's Logic BL. 241-259
  
• Wafik Boulos Lotfallah:
  On the Complexity of the First-order Random Theory. 261-271
  
• Risto Kaila:
  On Almost Sure Elimination of Numerical Quantifiers. 273-285
  
• María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
  Uniform Lazy Narrowing. 287-312
  
• Richard Banach:
  Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten. 313-314
  

Volume 13, Number 3, June 2003

• Gerhard Brewka, Henry Prakken, Gerard Vreeswijk:
  Special Issue on Computational Dialectics: an Introduction. 317-318
  
• Bart Verheij:
  DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions. 319-346
  
• Simon Parsons, Michael Wooldridge, Leila Amgoud:
  Properties and Complexity of Some Formal Inter-agent Dialogues. 347-376
  
• Claudette Cayrol, Sylvie Doutre, Jérôme Mengin:
  On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks. 377-403
  
• Alexander Bochman:
  Collective Argumentation and Disjunctive Logic Programming. 405-428
  
• Trevor J. M. Bench-Capon:
  Persuasion in Practical Argument Using Value-based Argumentation Frameworks. 429-448
  

Volume 13, Number 4, August 2003

• Heinrich Wansing:
  Editorial. 451
  
• Sergei P. Odintsov:
  Algebraic Semantics for Paraconsistent Nelson's Logic. 453-468
  
• Petr Hájek:
  Fuzzy Logics with Noncommutative Conjuctions. 469-479
  
• Stefania Lusin, Antonino Salibra:
  A Note on Absolutely Unorderable Combinatory Algebras. 481-502
  
• Anuj Dawar, David Richerby:
  Fixed-point Logics with Nondeterministic Choice. 503-530
  
• Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna:
  Hoops and Fuzzy Logic. 532-555
  
• Ofer Arieli, Marc Denecker:
  Reducing Preferential Paraconsistent Reasoning to Classical Entailment. 557-580
  
• Stephen A. Cook, Yongmei Liu:
  A Complete Axiomatization for Blocks World. 581-594
  
• Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas:
  Fibring Logics with Topos Semantics. 595-624
  
• Richard Banach:
  Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.). 625-627
  

Volume 13, Number 5, 2003

• David J. Pym:
  Editorial. 633-638
  
• Iliano Cervesato, Frank Pfenning:
  A Linear Spine Calculus. 639-688
  
• Roy Dyckhoff, Christian Urban:
  Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation. 689-706
  
• Didier Galmiche, Daniel Méry:
  Semantic Labelled Tableaux for Propositional BI. 707-753
  
• Gianluigi Bellin, Kurt Ranalter:
  A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. 755-775
  
• Edmund Robinson:
  Proof Nets for Classical Logic. 777-797
  
• David J. Pym:
  Forthcoming Papers. 799-800
  

Volume 13, Number 6, 2003

• Solange Coupet-Grimal:
  An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions. 801-813
  
• Solange Coupet-Grimal, Catherine Nouvet:
  Formal Verification of an Incremental Garbage Collector. 815-833
  
• Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
  Hypersequent Calculi for Gödel Logics - a Survey. 835-861
  
• Antonín Kucera, Javier Esparza:
  A Logical Viewpoint on Process-algebraic Quotients. 863-880
  
• Morteza Moniri:
  Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND. 881-888
  
• Marco Aiello, Johan van Benthem, Guram Bezhanishvili:
  Reasoning About Space: The Modal Way. 889-920
  
• Michael Kaminski, Yael Yariv:
  A Real-time Semantics of Temporal Logic of Actions. 921-937
  
• Natasha Alechina, Stéphane Demri, Maarten de Rijke:
  A Modal Perspective on Path Constraints. 939-956
  
• Richard Banach:
  Review: Mathematics of Quantum Computation. 957-959
  
• Richard Banach:
  Review: Handbook of Process Algebra. 959-962