Volume 8, Number 1, January 1999
export record as
dblp key:
journals/jolli/WintnerF99 export record as
dblp key:
export record as
dblp key:
Mark Johnson :
A Resource Sensitive Interpretation of Lexical Functional Grammar.
45-81
export record as
dblp key:
export record as
dblp key:
Christof Monz :
Automatic Ambiguity Resolution in Natural Language, Alexander Franz.
111-114
export record as
dblp key:
Frank Keller :
The Empirical Base of Linguistics: Grammaticality Judgments and Linguistic Methodology, Carson T. Schütze.
114-121
export record as
dblp key:
journals/jolli/Pietarinen99 Ahti Pietarinen :
Language, Truth and Logic in Mathematics, Jaakko Hintikka.
121-124
export record as
dblp key:
journals/jolli/Pietarinen99a Ahti Pietarinen :
Paradigms for Language Theory and Other Essays, Jaakko Hintikka.
124-127
Volume 8, Number 2, April 1999
export record as
dblp key:
journals/jolli/HollenbergV99 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Riccardo Rosati :
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.
187-203
export record as
dblp key:
journals/jolli/Antoniou99 Grigoris Antoniou :
Splitting Finite Default Theories: A Comparison of Two Approaches.
205-216
export record as
dblp key:
Takahito Aoto :
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.
217-242
export record as
dblp key:
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
export record as
dblp key:
Rogier M. van Eijk :
Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed.
251-254
export record as
dblp key:
journals/jolli/Goranko99a Valentin Goranko :
Modal Logic, Alexander Chagrov and Michael Zakharyaschev.
255-258
export record as
dblp key:
journals/jolli/Blackburn99
Volume 8, Number 3, July 1999
export record as
dblp key:
export record as
dblp key:
Sun-Joo Shin :
Reconstituting Beta Graphs into an Efficacious System.
273-295
export record as
dblp key:
journals/jolli/JamnikBG99 export record as
dblp key:
Kathi Fisler :
Timing Diagrams: Formalization and Algorithmic Verification.
323-361
export record as
dblp key:
journals/jolli/OberlanderMCST99 export record as
dblp key:
Oliver Lemon :
Forms of Representation: An Interdisciplinary Theme for Cognitive Science, Donald Peterson, ed.
385-387
export record as
dblp key:
Maarten de Rijke :
Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds.
387-390
export record as
dblp key:
journals/jolli/BenthemI99
Volume 8, Number 4, October 1999
export record as
dblp key:
journals/jolli/FriedmanH99 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jolli/Fernando99 Tim Fernando :
A Modal Logic for Non-Deterministic Discourse Processing.
445-468
export record as
dblp key:
Valentin Goranko :
Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi.
469-473
export record as
dblp key:
export record as
dblp key:
Maarten de Rijke :
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann.
476-478
export record as
dblp key:
Maarten Marx :
The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich.
478-481
export record as
dblp key:
journals/jolli/Hendriks99 Lex Hendriks :
Effective Logic Computation, Klaus Truemper.
481-484
data released under the ODC-BY 1.0 license
