Journal of Applied Logic, Volume 6

Volume 6, Number 1, March 2008

• Jan A. Bergstra, C. A. Middelburg:
  Simulating Turing machines on Maurer machines. 1-23
  Electronic Edition (link) BibTeX
• Victor Pambuccian:
  Axiomatizing geometric constructions. 24-46
  Electronic Edition (link) BibTeX
• Swapan Raha, Abul Hossain, Sujata Ghosh:
  Similarity based approximate reasoning: fuzzy control. 47-71
  Electronic Edition (link) BibTeX
• Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
  Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. 72-108
  Electronic Edition (link) BibTeX
• Martin Caminada:
  A formal account of Socratic-style argumentation. 109-132
  Electronic Edition (link) BibTeX

Volume 6, Number 2, June 2008

• Lou Goble, John-Jules Ch. Meyer:
  Editorial. 133-134
  Electronic Edition (link) BibTeX
• Katie Atkinson, Trevor J. M. Bench-Capon:
  Addressing moral problems through practical reasoning. 135-151
  Electronic Edition (link) BibTeX
• Guido Boella, Leendert van der Torre:
  Substantive and procedural norms in normative multiagent systems. 152-171
  Electronic Edition (link) BibTeX
• Robert Craven, Marek J. Sergot:
  Agent strands in the action language nC+. 172-191
  Electronic Edition (link) BibTeX
• Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
  The many faces of counts-as: A formal analysis of constitutive rules. 192-217
  Electronic Edition (link) BibTeX
• Andrew J. I. Jones, Steven Orla Kimbrough:
  The normative aspect of signalling and the distinction between performative and constative. 218-228
  Electronic Edition (link) BibTeX
• Lars Lindahl, Jan Odelstad:
  Intermediaries and intervenients in normative systems. 229-250
  Electronic Edition (link) BibTeX
• Thomas Müller:
  Living up to one's commitments: Agency, strategies and trust. 251-266
  Electronic Edition (link) BibTeX

Volume 6, Number 3, September 2008

• William M. Farmer:
  The seven virtues of simple type theory. 267-286
  Electronic Edition (link) BibTeX
• Claus-Peter Wirth:
  Hilbert's epsilon as an operator of indefinite committed choice. 287-317
  Electronic Edition (link) BibTeX
• Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber:
  Combined reasoning by automated cooperation. 318-342
  Electronic Edition (link) BibTeX
• Sergei P. Odintsov, Heinrich Wansing:
  Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACL^C. 343-360
  Electronic Edition (link) BibTeX
• Douglas Walton:
  The three bases for the enthymeme: A dialogical theory. 361-379
  Electronic Edition (link) BibTeX
• Thomas Eiter, Esra Erdem, Wolfgang Faber:
  Undoing the effects of action sequences. 380-415
  Electronic Edition (link) BibTeX
• Bruno Courcelle:
  Circle graphs and monadic second-order logic. 416-442
  Electronic Edition (link) BibTeX
• Dominic Schulte:
  Hybrids of the ^×-translation for CZF^omega. 443-458
  Electronic Edition (link) BibTeX