default search action
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 - 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 A. 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: