External Links

    Journal: Journal of Logic and Computation

    Volume 8, Issue 6

    713 -- 744Tanel Tammet, Jan M. Smith. Optimized Encodings of Fragments of Type Theory in First-Order Logic
    745 -- 775Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos. Update Rules in Datalog Programs
    777 -- 808Javier Pinto. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
    809 -- 838Samin S. Ishtiaq, David J. Pym. A Relevant Analysis of Natural Deduction
    839 -- 854Stefano Baratella, Stefano Berardi. Approximating Classical Theorems
    855 -- 875Thomas Drakengren, Peter Jonsson. Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic

    Volume 8, Issue 5

    597 -- 635Matteo Baldoni, Laura Giordano, Alberto Martelli. A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning
    637 -- 664A. D. Yashin. New Solutions to Novikov s Problem for Intuitionistic Connectives
    665 -- 668Maurizio Castellan, Mario Piazza. Saturated Formulas in Full Linear Logic
    669 -- 678Alexander Moshe Rabinovich. On the Decidability of Continuous Time Specification Formalisms
    679 -- 711Kevin Lano. Logical Specification of Reactive and Real-Time Systems

    Volume 8, Issue 4

    457 -- 483Roberto Giacobazzi. Abductive Analysis of Modular Logic Programs
    485 -- 509Hans Hüttel, Colin Stirling. Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes
    511 -- 543Nicolas Peltier. A New Method for Automated Finite Model Building Exploiting Failures and Symmetries
    545 -- 567Rachel Cardell-Oliver. An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs
    569 -- 587Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz. Simplification of Many-Valued Logic Formulas Using Anti-Links
    589 -- 593Lex Hendriks. Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation

    Volume 8, Issue 3

    231 -- 232Nicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia. Editorial
    233 -- 260Mark d Inverno, Michael Luck. Engineering AgentSpeak(L): A Formal Computational Model
    261 -- 292Simon Parsons, Carles Sierra, Nicholas R. Jennings. Agents That Reason and Negotiate by Arguing
    293 -- 342Anand S. Rao, Michael P. Georgeff. Decision Procedures for BDI Logics
    345 -- 372Clare Dixon, Michael Fisher, Michael Wooldridge. Resolution for Temporal Logics of Knowledge
    373 -- 400Fabio Massacci. Tableau Methods for Formal Verification of Multi-Agent Distributed Systems
    401 -- 423Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini. Model Checking Multiagent Systems
    425 -- 445Munindar P. Singh. Applying the Mu-Calculus in Planning and Reasoning about Action

    Volume 8, Issue 2

    135 -- 145A. K. Shiny, Arun K. Pujari. Computation of Prime Implicants Using Matrix and Paths
    147 -- 158Michael Freund. Preferential Orders and Plausibility Measures
    159 -- 167Wilfried Buchholz. A Note on SLDNF-Resolution
    169 -- 187Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin. Extensions for Open Default Theories via the Domain Closure Assumption
    189 -- 207Arnaud Durand, Clemens Lautemann, Thomas Schwentick. Subclasses of Binary NP
    209 -- 229Gopalan Nadathur. Uniform Provability in Classical Logic

    Volume 8, Issue 1

    3 -- 0Dov M. Gabbay. Editorial
    5 -- 31Robert Harper, Frank Pfenning. A Module System for a Programming Language Based on the LF Logical Framework
    33 -- 47Melvin Fitting. leanTAP Revisited
    49 -- 70Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner. Constructive Z
    71 -- 86Lauri Hella, Henrik Imhof. Enhancing Fixed Point Logic with Cardinality Quantifiers
    87 -- 117Gösta Grahne. Updates and Counterfactuals
    119 -- 129David Gries, Fred B. Schneider. Adding the Everywhere Operator to Propositional Logic
    runs on