- 1999
- Grigoris Antoniou:
Splitting Finite Default Theories: A Comparison of Two Approaches. J. Log. Lang. Inf. 8(2): 205-216 (1999) - Takahito Aoto:
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. J. Log. Lang. Inf. 8(2): 217-242 (1999) - Johan van Benthem, David Israel:
Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. J. Log. Lang. Inf. 8(3): 390-397 (1999) - Patrick Blackburn:
Basic Model Theory, Kees Doets. J. Log. Lang. Inf. 8(2): 258-261 (1999) - Katarina Britz:
A Power Algebra for Theory Change. J. Log. Lang. Inf. 8(4): 429-443 (1999) - Mark A. Brown, Valentin Goranko:
An Extended Branching-Time Ockhamist Temporal Logic. J. Log. Lang. Inf. 8(2): 143-166 (1999) - Stéphane Demri:
A Logic with Relative Knowledge Operators. J. Log. Lang. Inf. 8(2): 167-185 (1999) - Jaap van der Does, Henk Verkuyl:
Quantification in Natural Languages (Volumes I & II), E. Bach, E. Jelinek, A. Kratzer, and B.H. Partee, eds. J. Log. Lang. Inf. 8(2): 243-251 (1999) - Rogier M. van Eijk:
Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed. J. Log. Lang. Inf. 8(2): 251-254 (1999) - Tim Fernando:
A Modal Logic for Non-Deterministic Discourse Processing. J. Log. Lang. Inf. 8(4): 445-468 (1999) - Kathi Fisler
:
Timing Diagrams: Formalization and Algorithmic Verification. J. Log. Lang. Inf. 8(3): 323-361 (1999) - Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique. J. Log. Lang. Inf. 8(4): 401-420 (1999) - Valentin Goranko:
Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. J. Log. Lang. Inf. 8(4): 469-473 (1999) - Valentin Goranko:
Modal Logic, Alexander Chagrov and Michael Zakharyaschev. J. Log. Lang. Inf. 8(2): 255-258 (1999) - Elzbieta Hajnicz:
Some Considerations on Branching Areas of Time. J. Log. Lang. Inf. 8(1): 17-43 (1999) - Sven Ove Hansson:
Recovery and Epistemic Residue. J. Log. Lang. Inf. 8(4): 421-428 (1999) - Lex Hendriks:
Effective Logic Computation, Klaus Truemper. J. Log. Lang. Inf. 8(4): 481-484 (1999) - Marco Hollenberg, Albert Visser:
Dynamic Negation, the One and Only. J. Log. Lang. Inf. 8(2): 137-141 (1999) - Mateja Jamnik, Alan Bundy, Ian Green:
On Automating Diagrammatic Proofs of Arithmetic Arguments. J. Log. Lang. Inf. 8(3): 297-321 (1999) - Mark Johnson:
A Resource Sensitive Interpretation of Lexical Functional Grammar. J. Log. Lang. Inf. 8(1): 45-81 (1999) - Frank Keller:
The Empirical Base of Linguistics: Grammaticality Judgments and Linguistic Methodology, Carson T. Schütze. J. Log. Lang. Inf. 8(1): 114-121 (1999) - 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. J. Log. Lang. Inf. 8(1): 83-110 (1999) - Oliver Lemon:
Forms of Representation: An Interdisciplinary Theme for Cognitive Science, Donald Peterson, ed. J. Log. Lang. Inf. 8(3): 385-387 (1999) - Oliver Lemon, Maarten de Rijke, Atsushi Shimojima:
Editorial: Efficacy of Diagrammatic Reasoning. J. Log. Lang. Inf. 8(3): 265-271 (1999) - Maarten Marx:
The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. J. Log. Lang. Inf. 8(4): 478-481 (1999) - Christof Monz:
Automatic Ambiguity Resolution in Natural Language, Alexander Franz. J. Log. Lang. Inf. 8(1): 111-114 (1999) - Jon Oberlander, Padraic Monaghan, Richard Cox, Keith Stenning, Richard Tobin:
Unnatural Language Processing. J. Log. Lang. Inf. 8(3): 363-384 (1999) - Ahti Pietarinen:
Language, Truth and Logic in Mathematics, Jaakko Hintikka. J. Log. Lang. Inf. 8(1): 121-124 (1999) - Ahti Pietarinen:
Paradigms for Language Theory and Other Essays, Jaakko Hintikka. J. Log. Lang. Inf. 8(1): 124-127 (1999) - Maarten de Rijke:
Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds. J. Log. Lang. Inf. 8(3): 387-390 (1999)
