Journal of Logic, Language and Information, Volume 15

Volume 15, Numbers 1-2, July 2006

• Jon Williamson:
  Introduction. 1-3
  Electronic Edition (link) BibTeX
• Jukka Corander, Pekka Marttinen:
  Bayesian Model Learning Based on Predictive Entropy. 5-20
  Electronic Edition (link) BibTeX
• Frank P. A. Coolen:
  On Nonparametric Predictive Inference and Objective Bayesianism. 21-47
  Electronic Edition (link) BibTeX
• Gregory R. Wheeler:
  Rational Acceptance and Conjunctive/Disjunctive Absorption. 49-63
  Electronic Edition (link) BibTeX
• Richard Bradley:
  Adams Conditionals and Non-Monotonic Probabilities. 65-81
  Electronic Edition (link) BibTeX
• Jesse Hughes, Albert C. Esterline, Bahram Kimiaghalam:
  Means-End Relations and a Measure of Efficacy. 83-108
  Electronic Edition (link) BibTeX
• Kathryn B. Laskey:
  Quantum Physical Symbol Systems. 109-154
  Electronic Edition (link) BibTeX
• Matt Williams, Jon Williamson:
  Combining Argumentation and Bayesian Nets for Breast Cancer Prognosis. 155-178
  Electronic Edition (link) BibTeX

Volume 15, Number 3, October 2006

• Torben Braüner:
  Axioms for classical, intuitionistic, and paraconsistent hybrid logic. 179-194
  Electronic Edition (link) BibTeX
• Marcelo Finger, Dov M. Gabbay:
  Cut and Pay. 195-218
  Electronic Edition (link) BibTeX
• Gabriel G. Infante López, Maarten de Rijke:
  A Note on the Expressive Power of Probabilistic Context Free Grammars. 219-231
  Electronic Edition (link) BibTeX
• Tore Langholm:
  A descriptive characterisation of linear languages. 233-250
  Electronic Edition (link) BibTeX
• Rani Nelken, Chung-chieh Shan:
  A Modal Interpretation of the Logic of Interrogation. 251-271
  Electronic Edition (link) BibTeX
• Anna Zamansky, Nissim Francez, Yoad Winter:
  A 'Natural Logic' inference system using the Lambek calculus. 273-295
  Electronic Edition (link) BibTeX
• Harrie C. M. de Swart:
  A Modern Perspective on Type Theory From its Origins until Today. 297-302
  Electronic Edition (link) BibTeX

Volume 15, Number 4, November 2006

• John Cantwell:
  A Formal Model of Multi-Agent Belief-Interaction. 303-329
  Electronic Edition (link) BibTeX
• Chris Barker, Chung-chieh Shan:
  Types as Graphs: Continuations in Type Logical Grammar. 331-370
  Electronic Edition (link) BibTeX
• Norihiro Kamide:
  Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. 371-401
  Electronic Edition (link) BibTeX
• Yaroslav Shramko, Heinrich Wansing:
  Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. 403-424
  Electronic Edition (link) BibTeX
• Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge:
  Knowledge Condition Games. 425-452
  Electronic Edition (link) BibTeX