Journal of Logic and Computation, Volume 14

Volume 14, Number 1, 2004

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

Volume 14, Number 2, 2004

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

Volume 14, Number 3, 2004

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

Volume 14, Number 4, 2004

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

Volume 14, Number 5, 2004

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

Volume 14, Number 6, 2004

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