External Links

    Journal: Journal of Logic and Computation

    Volume 14, Issue 6

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

    Volume 14, Issue 5

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

    Volume 14, Issue 4

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

    Volume 14, Issue 3

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

    Volume 14, Issue 2

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

    Volume 14, Issue 1

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