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

Volume 6, Number 4, December 2008

• Raymond Turner, Amnon H. Eden:
  The Philosophy of Computer Science. 459
  Electronic Edition (link) BibTeX
• Konstantine Arkoudas:
  Computation, hypercomputation, and physical science. 461-475
  Electronic Edition (link) BibTeX
• Meurig Beynon, Steve Russ:
  Experimenting with computing. 476-489
  Electronic Edition (link) BibTeX
• Justin Bledin:
  Challenging epistemology: Interactive proofs and zero knowledge. 490-501
  Electronic Edition (link) BibTeX
• Selmer Bringsjord:
  The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself. 502-525
  Electronic Edition (link) BibTeX
• T. R. Colburn, G. M. Shute:
  Metaphor in computer science. 526-533
  Electronic Edition (link) BibTeX
• James Currall, Michael Moss, Susan Stuart:
  Authenticity: a red herring? 534-544
  Electronic Edition (link) BibTeX
• Lars-Erik Janlert:
  Dark programming and the case for the rationality of programs. 545-552
  Electronic Edition (link) BibTeX

• Jan A. Bergstra, C. A. Middelburg:
  Program algebra with a jump-shift instruction. 553-563
  Electronic Edition (link) BibTeX
• Arelis Díaz, Carlos Uzcátegui:
  Representation theorems for explanatory reasoning based on cumulative models. 564-579
  Electronic Edition (link) BibTeX
• Celestin Lele, Salissou Moutari, M. L. Ndeffo Mbah:
  Algorithms and computations for foldedness of P-ideals in BCI-algebras. 580-588
  Electronic Edition (link) BibTeX
• Ofer Arieli:
  Reasoning with prioritized information by iterative aggregation of distance functions. 589-605
  Electronic Edition (link) BibTeX
• Stefan Göller, Dirk Nowotka:
  A note on an extension of PDL. 606-608
  Electronic Edition (link) BibTeX
• Cosimo Guido, Paola Toto:
  Extended-order algebras. 609-626
  Electronic Edition (link) BibTeX