Volume 8,
Number 1,
January 1999
- Shuly Wintner, Nissim Francez:
Off-Line Parsability and the Well-Foundedness of Subsumption.
1-16
- Elzbieta Hajnicz:
Some Considerations on Branching Areas of Time.
17-43
- Mark Johnson:
A Resource Sensitive Interpretation of Lexical Functional Grammar.
45-81
- 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
- Christof Monz:
Automatic Ambiguity Resolution in Natural Language, Alexander Franz.
111-114
- Frank Keller:
The Empirical Base of Linguistics: Grammaticality Judgments and Linguistic Methodology, Carson T. Schütze.
114-121
- Ahti Pietarinen:
Language, Truth and Logic in Mathematics, Jaakko Hintikka.
121-124
- Ahti Pietarinen:
Paradigms for Language Theory and Other Essays, Jaakko Hintikka.
124-127
Volume 8,
Number 2,
April 1999
- Marco Hollenberg, Albert Visser:
Dynamic Negation, the One and Only.
137-141
- Mark Brown, Valentin Goranko:
An Extended Branching-Time Ockhamist Temporal Logic.
143-166
- Stéphane Demri:
A Logic with Relative Knowledge Operators.
167-185
- Riccardo Rosati:
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.
187-203
- Grigoris Antoniou:
Splitting Finite Default Theories: A Comparison of Two Approaches.
205-216
- Takahito Aoto:
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.
217-242
- 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
- Rogier M. van Eijk:
Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed.
251-254
- Valentin Goranko:
Modal Logic, Alexander Chagrov and Michael Zakharyaschev.
255-258
- Patrick Blackburn:
Basic Model Theory, Kees Doets.
258-261
Volume 8,
Number 3,
July 1999
- Oliver Lemon, Maarten de Rijke, Atsushi Shimojima:
Editorial: Efficacy of Diagrammatic Reasoning.
265-271
- Sun-Joo Shin:
Reconstituting Beta Graphs into an Efficacious System.
273-295
- Mateja Jamnik, Alan Bundy, Ian Green:
On Automating Diagrammatic Proofs of Arithmetic Arguments.
297-321
- Kathi Fisler:
Timing Diagrams: Formalization and Algorithmic Verification.
323-361
- Jon Oberlander, Padraic Monaghan, Richard Cox, Keith Stenning, Richard Tobin:
Unnatural Language Processing.
363-384
- Oliver Lemon:
Forms of Representation: An Interdisciplinary Theme for Cognitive Science, Donald Peterson, ed.
385-387
- Maarten de Rijke:
Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds.
387-390
- Johan van Benthem, David Israel:
Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman.
390-397
Volume 8,
Number 4,
October 1999
- Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique.
401-420
- Sven Ove Hansson:
Recovery and Epistemic Residue.
421-428
- Katarina Britz:
A Power Algebra for Theory Change.
429-443
- Tim Fernando:
A Modal Logic for Non-Deterministic Discourse Processing.
445-468
- Valentin Goranko:
Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi.
469-473
- Hans-Jörg Tiede:
Basic Simple Type Theory, J. Roger Hindley.
473-476
- Maarten de Rijke:
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann.
476-478
- Maarten Marx:
The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich.
478-481
- Lex Hendriks:
Effective Logic Computation, Klaus Truemper.
481-484
Copyright © Mon Nov 2 21:46:10 2009
by Michael Ley (ley@uni-trier.de)
