External Links

    Journal: Journal of Logic and Computation

    Volume 15, Issue 6

    819 -- 0David J. Pym. Editorial
    821 -- 854Mary DeMarco, James Lipton. Completeness and Cut-elimination in the Intuitionistic Theory of Types
    855 -- 899Eduardo Bonelli, Delia Kesner, Alejandro Ríos. de Bruijn Indices for Metaterms
    901 -- 947Eduardo Bonelli, Delia Kesner, Alejandro Ríos. Relating Higher-order and First-order Rewriting
    949 -- 973Klaus Glashoff. Aristotelian Syntax from a Computational-Combinatorial Point of View
    975 -- 1008Gem Stapleton, John Howse, John Taylor. A Decidable Constraint Diagram Reasoning System
    1009 -- 1040Henry Prakken. Coherence and Flexibility in Dialogue Games for Argumentation
    1041 -- 1058Artur S. d Avila Garcez, Dov M. Gabbay, Luís C. Lamb. Value-based Argumentation Frameworks as Neural-symbolic Learning Systems
    1059 -- 1073Sergei N. Artëmov, Elena Nogina. Introducing Justification into Epistemic Logic
    1075 -- 1097Trevor J. M. Bench-Capon, Katie Atkinson, Alison Chorley. Persuasion and Value in Legal Argument

    Volume 15, Issue 5

    577 -- 592Vinay Deolalikar, Joel David Hamkins, Ralf Schindler. P != NP cap co-NP for Infinite Time Turing Machines
    593 -- 621James P. Delgrande, Torsten Schaub. Expressing Default Logic Variants in Default Logic
    623 -- 662Raymond Turner. The Foundations of Specification
    663 -- 678Vladimir V. Rybakov. Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
    679 -- 700Jonathan Ben-Naim. Pivotal and Pivotal-discriminative Consequence Relations
    701 -- 749Ernest Davis, Leora Morgenstern. A First-order Theory of Communication and Multi-agent Plans
    751 -- 765Jonathan Westphal, Jim Hardy. Logic as a Vector System
    767 -- 785Stéphane Demri. A Reduction from DLP to PDL
    787 -- 813Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías. Ground Nonmonotonic Modal Logic S5: New Results
    815 -- 0Richard E. Overill. Review: Advances in Elliptic Curve Cryptography

    Volume 15, Issue 4

    409 -- 0Sergei I. Adian, Matthias Baaz, Lev D. Beklemishev. Editorial
    411 -- 431Emil Jerábek. Admissible Rules of Modal Logics
    433 -- 446Arnold Beckmann. Uniform Proof Complexity
    447 -- 463Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort. A Finitary Treatment of the Closed Fragment of Japaridze s Provability Logic
    465 -- 488Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith. An Iterative Framework for Simulation Conformance
    489 -- 506Rosalie Iemhoff. A Note on Linear Kripke Models
    507 -- 515Sebastiaan Terwijn. Probabilistic Logic and Induction
    517 -- 537Tatiana Yavorskaya. Negative Operations on Proofs and Labels
    539 -- 549Rostislav Yavorskiy. On Kripke-style Semantics for the Provability Logic of Gödel s Proof Predicate with Quantifiers on Proofs
    551 -- 557Christian Schallhart, Luca Trevisan. Approximating Succinct MaxSat
    559 -- 574Ilya Shapirovsky, Valentin B. Shehtman. Modal Logics of Regions and Minkowski Spacetime

    Volume 15, Issue 3

    241 -- 261Arnon Avron, Iddo Lev. Non-deterministic Multiple-valued Structures
    263 -- 294Jonathan Ben-Naim. Preferential and Preferential-discriminative Consequence Relations
    295 -- 316Marc Pauly. Programming and Verifying Subgame-Perfect Mechanisms
    317 -- 352Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum. A Verification Logic for Rewriting Logic
    353 -- 390Sabine Broda, Luís Damas. On Long Normal Inhabitants of a Type
    391 -- 404Pascal Hitzler. Towards a Systematic Account of Different Semantics for Logic Programs

    Volume 15, Issue 2

    85 -- 98Jan van Eijck. Normal Forms for Characteristic Functions on n-ary Relations
    99 -- 112Robin Cooper. Records and Record Types in Semantic Theory
    113 -- 130Jonathan Ginzburg. Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
    131 -- 143Chris Fox, Shalom Lappin. Underspecified Interpretations in a Curry-typed Representation Language
    145 -- 158Raymond Turner. Semantics and Stratification
    159 -- 179Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. Probabilistic /lambda-calculus and Quantitative Program Analysis
    181 -- 199David Clark, Sebastian Hunt, Pasquale Malacaria. Quantitative Information Flow, Relations and Polymorphic Types
    201 -- 218François-Régis Sinot. Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting
    219 -- 237Ian Mackie. Interaction Net Implementation of Additive and Multiplicative Structures

    Volume 15, Issue 1

    3 -- 20Norihiro Kamide. Linear Logics with Communication-merge
    21 -- 40Michael L. Anderson, Donald Perlis. Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness
    41 -- 58Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion. Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time
    59 -- 74Achim Bluemnsath, Stephan Kreutzer. An Extension of Muchnik s Theorem
    runs on