Journal of Logic and Computation, Volume 14

Volume 14, Number 1, 2004

• Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi:
  Editorial. 1
  
• Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
  On Non-local Propositional and Weak Monodic Quantified CTL. 3-22
  
• Elena Camossi, Elisa Bertino, Marco Mesiti, Giovanna Guerrini:
  Handling Expiration of Multigranular Temporal Objects. 23-50
  
• Carlo Combi, Massimo Franceschet, Adriano Peron:
  Representing and Reasoning about Temporal Granularities. 51-77
  
• Tim Fernando:
  A Finite-state Approach to Events in Natural Language Semantics. 79-92
  
• John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher:
  A Local Search Approach to Modelling and Solving Interval Algebra Problems. 93-112
  

Volume 14, Number 2, 2004

• Lifeng He, Yuyan Chao, Hidenori Itoh:
  R-SATCHMO: Refinements on I-SATCHMO. 117-143
  
• Marc Aiguier:
  ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. 145-178
  
• Marcelo Finger, Renata Wassermann:
  Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. 179-204
  
• Maciej Kandulski:
  Categorial Grammars and Tree Languages. 205-214
  
• Dimitar P. Guelev:
  A Complete Proof System for First-order Interval Temporal Logic with Projection. 215-249
  
• Gerard R. Renardel de Lavalette:
  Changing Modalities. 251-275
  
• Nicole Bidoit, Sandra de Amo, Luc Segoufin:
  Order Independent Temporal Properties. 277-298
  
• Franco Montagna:
  Storage Operators and Multiplicative Quantifiers in Many-valued Logics. 299-322
  
• Richard E. Overill:
  Review: From 0 to 1; an Authoritative History of Modern Computing. 323
  
• Richard E. Overill:
  Review: Things a Computer Scientist Rarely Talks About. 323-324
  
• Richard E. Overill:
  Review: A Dictionary of the Internet. 324-325
  
• Richard E. Overill:
  Review: Views into the Chinese Room: New Essays on Searle and Artificial Intelligence. 325-326
  

Volume 14, Number 3, 2004

• Torben Braüner:
  Natural Deduction for Hybrid Logic. 329-353
  
• Pavlos Peppas:
  The Limit Assumption and Multiple Revision. 355-371
  
• Stefania Lusin, Antonino Salibra:
  The Lattice of Lambda Theories. 373-394
  
• Radim Belohlávek:
  Concept Equations. 395-403
  
• Gang Chen:
  Soundness of Coercion in the Calculus of Constructions. 405-427
  
• Tomasz F. Skura:
  Rules and Refutation Rules for the Logic of Finite n-ary Trees. 429-435
  

Volume 14, Number 4, 2004

• Valeria de Paiva, Rajeev Goré, Michael Mendler:
  Editorial. 439-446
  
• Steven Awodey, Andrej Bauer:
  Propositions as Types. 447-471
  
• Gianluigi Bellin, Corrado Biasi:
  Towards a Logic for Pragmatics. Assertions and Conjectures. 473-506
  
• Olivier Brunet:
  A Logic for Partial System Description. 507-528
  
• Tristan Crolard:
  A Formulae-as-Types Interpretation of Subtractive Logic. 529-570
  
• Lutz Schröder, Till Mossakowski:
  Monad-independent Dynamic Logic in HasCasl. 571-619
  
• Valeria de Paiva, Rajeev Goré, Michael Mendler:
  Forthcoming Papers. 621-622
  

Volume 14, Number 5, 2004

• Heinrich Wansing:
  Editorial. 623
  
• Norihiro Kamide:
  Combining Soft Linear Logic and Spatio-temporal Operators. 625-650
  
• Razvan Diaconescu:
  Elementary Diagrams in Institutions. 651-674
  
• Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
  Argumentation Semantics for Defeasible Logic. 675-702
  
• Erik T. Mueller:
  Event Calculus Reasoning Through Satisfiability. 703-730
  
• Murray Shanahan, Mark Witkowski:
  Event Calculus Planning Through Satisfiability. 731-745
  
• Paolo Liberatore:
  Uncontroversial Default Logic. 747-765
  

Volume 14, Number 6, 2004

• Mirjana Borisavljevic:
  Extended Natural Deduction Images of Conversions from the System of Sequents. 769-799
  
• James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
  On Computing Belief Change Operations using Quantified Boolean Formulas. 801-826
  
• Radim Belohlávek, Tatána Funioková:
  Similarity and Fuzzy Tolerance Spaces. 827-855
  
• Gem Stapleton, John Howse, John Taylor, Simon Thompson:
  The Expressiveness of Spider Diagrams. 857-880
  
• Richard Banach:
  Review: Process Algebra with Timing. 881
  
• Alice ter Meulen:
  Review: Word, Proofs and Diagrams. 882