Journal of Logic, Language and Information, Volume 8

Volume 8, Number 1, January 1999

• Shuly Wintner, Nissim Francez: Off-Line Parsability and the Well-Foundedness of Subsumption. 1-16 BibTeX
• Elzbieta Hajnicz: Some Considerations on Branching Areas of Time. 17-43 BibTeX
• Mark Johnson: A Resource Sensitive Interpretation of Lexical Functional Grammar. 45-81 BibTeX
• Paul John King, Kiril Ivanov Simov, Bjørn Aldag: The Complexity of Modellability in Finite and Computable Signatures of a Constraint Logic for Head-Driven Phrase Structure Grammar. 83-110 BibTeX
• Christof Monz: Automatic Ambiguity Resolution in Natural Language, Alexander Franz. 111-114 BibTeX
• Frank Keller: The Empirical Base of Linguistics: Grammaticality Judgments and Linguistic Methodology, Carson T. Schütze. 114-121 BibTeX
• Ahti Pietarinen: Language, Truth and Logic in Mathematics, Jaakko Hintikka. 121-124 BibTeX
• Ahti Pietarinen: Paradigms for Language Theory and Other Essays, Jaakko Hintikka. 124-127 BibTeX

Volume 8, Number 2, April 1999

• Marco Hollenberg, Albert Visser: Dynamic Negation, the One and Only. 137-141 BibTeX
• Mark Brown, Valentin Goranko: An Extended Branching-Time Ockhamist Temporal Logic. 143-166 BibTeX
• Stéphane Demri: A Logic with Relative Knowledge Operators. 167-185 BibTeX
• Riccardo Rosati: Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. 187-203 BibTeX
• Grigoris Antoniou: Splitting Finite Default Theories: A Comparison of Two Approaches. 205-216 BibTeX
• Takahito Aoto: Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. 217-242 BibTeX
• Jaap van der Does, Henk Verkuyl: Quantification in Natural Languages (Volumes I & II), E. Bach, E. Jelinek, A. Kratzer, and B.H. Partee, eds. 243-251 BibTeX
• Rogier M. van Eijk: Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed. 251-254 BibTeX
• Valentin Goranko: Modal Logic, Alexander Chagrov and Michael Zakharyaschev. 255-258 BibTeX
• Patrick Blackburn: Basic Model Theory, Kees Doets. 258-261 BibTeX

Volume 8, Number 3, July 1999

• Oliver Lemon, Maarten de Rijke, Atsushi Shimojima: Editorial: Efficacy of Diagrammatic Reasoning. 265-271 BibTeX
• Sun-Joo Shin: Reconstituting Beta Graphs into an Efficacious System. 273-295 BibTeX
• Mateja Jamnik, Alan Bundy, Ian Green: On Automating Diagrammatic Proofs of Arithmetic Arguments. 297-321 BibTeX
• Kathi Fisler: Timing Diagrams: Formalization and Algorithmic Verification. 323-361 BibTeX
• Jon Oberlander, Padraic Monaghan, Richard Cox, Keith Stenning, Richard Tobin: Unnatural Language Processing. 363-384 BibTeX
• Oliver Lemon: Forms of Representation: An Interdisciplinary Theme for Cognitive Science, Donald Peterson, ed. 385-387 BibTeX
• Maarten de Rijke: Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds. 387-390 BibTeX
• Johan van Benthem, David Israel: Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. 390-397 BibTeX

Volume 8, Number 4, October 1999

• Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. 401-420 BibTeX
• Sven Ove Hansson: Recovery and Epistemic Residue. 421-428 BibTeX
• Katarina Britz: A Power Algebra for Theory Change. 429-443 BibTeX
• Tim Fernando: A Modal Logic for Non-Deterministic Discourse Processing. 445-468 BibTeX
• Valentin Goranko: Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. 469-473 BibTeX
• Hans-Jörg Tiede: Basic Simple Type Theory, J. Roger Hindley. 473-476 BibTeX
• Maarten de Rijke: Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. 476-478 BibTeX
• Maarten Marx: The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. 478-481 BibTeX
• Lex Hendriks: Effective Logic Computation, Klaus Truemper. 481-484 BibTeX