Journal of Logic, Language and Information 2006: Vol 15 Index & Table of Contents

2006·1 MB·English

Journal of Logic, Language and Information (2006) 15
Index of Authors of Volume 15
Barker, C., 331 Langholm, T., 233
Braiiner, T., 179 Laskey, K.B., 109
Bradley, R., 65 Marttinen, P., 5
Cantwell, J., 303 Nelken, R., 251
Coolen, F.P.A., 21 Shan, C.-C., 251, 331
Corander, J., 5 Shramko, Y., 403
De Rijke, M., 219 Van Der Hoek, W., 425
De Swart, H.C.M., 297 Van Otterloo, S., 425
Esterline, A., 83 Wansing, H., 403
Finger, M., 195 Wheeler, G., 49
Francez, N., 273 Williams, M., 155
Gabbay, D., 195 Williamson, J., 1, 155
Hughes, J., 83 Winter, Y., 273
Infante-Lopez, G., 219 Wooldridge, M., 425
Kamide, N., 371 Zamansky, A., 273
Kimiaghalam, B., 83

Journal of Logic, Language and Information (2006) 15
Contents of Volume 15
Volume 15 Nos. 1—2 2006
Combining Probability and Logic
Guest Editor: Jon Williamson
JON WILLIAMSON / Introduction
JUKKA CORANDER and PEKKA MARTTINEN / Bayesian Model
Learning Based on Predictive Entropy
F.P.A. COOLEN / On Nonparametric Predictive Inference and
Objective Bayesianism
GREGORY WHEELER / Rational Acceptance and Conjunc-
tive/Disjunctive Absorption
RICHARD BRADLEY / Adams Conditionals and Non-Monotonic
Probabilities
JESSE HUGHES, ALBERT ESTERLINE and BAHRAM
KIMIAGHALAM / Means-End Relations and a Measure of
Efficacy 83-108
KATHRYN BLACKMOND LASKEY / Quantum Physical Symbol
Systems 109-154
MATT WILLIAMS and JON WILLIAMSON / Combining Argumen-
tation and Bayesian Nets for Breast Cancer Prognosis 155-178
Volume 15 No.3 Autumn 2006
TORBEN BRAUNER / Axioms for Classical, Intuitionistic, and
Paraconsistent Hybrid Logic 179-194
MARCELO FINGER and DOV GABBAY / Cut and Pay 195-218
GABRIEL INFANTE-LOPEZ and MAARTEN DE RIJKE / A
Note on the Expressive Power of Probabilistic Context Free
Grammars 219-231
462
TORE LANGHOLM / A Descriptive Characterisation of Linear
Languages 233-250
RANI NELKEN and CHUNG-CHIEH SHAN / A Modal Interpreta-
tion of the Logic of Interrogation 251-271
ANNA ZAMANSKY, NISSIM FRANCEZ and YOAD WINTER /
A ‘Natural Logic’ Inference System Using the Lambek
Calculus 273-295
Book Review
A Modern Perspective on Type Theory From its Origins until To-
day, Fairouz Kamareddinne, Twan Laan and Rob Nederpelt
(H.C.M. DE SWART) 297-302
Volume 15 No.4 Winter 2006
JOHN CANTWELL / A Formal Model of Multi-Agent Belief-
Interaction 303-329
CHRIS BARKER and CHUNG-CHIEH SHAN / Types as Graphs:
Continuations in Type Logical Grammar 331-370
NORIHIRO KAMIDE/ Phase Semantics and Petri Net Interpretations
for Resource-Sensitive Strong Negation 371401
YAROSLAV SHRAMKO and HEINRICH WANSING / Hyper-
Contradictions, Generalized Truth Values and Logics of Truth
and Falsehood 403-424
SIEUWERT VAN OTTERLOO, WIEBE VAN DER HOEK
and MICHAEL WOOLDRIDGE / Knowledge Condition
Games
Index of Authors of Volume 15
Contents of Volume 15