Journal of Logic, Language and Information, Volume 7

Volume 7, Number 1, January 1998

Sasa Buvac, Megumi Kameyama: Introduction: Toward a Unified Theory of Context? 1
Robert Stalnaker: On the Representation of Context. 3-19
Albert Visser: Contexts in Dynamic Predicate Logic. 21-52
Giuseppe Attardi, Maria Simi: Communication across Viewpoints. 53-75
Richard W. Weyhrauch, Marco Cadoli, Carolyn L. Talcott: Using Abstract Resources to Control Reasoning. 77-101
Michael Luck: Elements of Machine Learning, Pat Langley. 103-105
Paul Van Eynde: Compositional Translation, M.T. Rosetta, ed. 107-110
Marc Light: Corpus Processing for Lexical Acquisition, edited by Branimir Boguraev and James Pustejovsky. 111-114

Sven Ove Hansson: Editorial: Belief Revision Theory Today. 123-126
Eduardo L. Fermé: On the Logic of Theory Change: Contraction without Recovery. 127-137
Jun Li: A Note on Partial Meet Package Contraction. 139-142
Erick J. Olsson: Making Beliefs Coherentl. The Subtraction and Addition Strategies. 143-163
R. Booth, Jeff B. Paris: A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge. 165-190
John Cantwell: Resolving Conflicting Information. 191-220
Harold Schellinx: Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg. 221-223
Diana McCarthy: The Balancing Act, Judith L. Klavans and Philip Resnik. 223-227
Wiebe van der Hoek: Logic for Applications, Anil Nerode and Richard A. Shore. 228-229

David A. Basin, Seán Matthews, Luca Viganò: Labelled Modal Logics: Quantifiers. 237-263
Tijn Borghuis: Modal Pure Type Systems. 265-296
Alberto Zanardo: Undivided and Indistinguishable Histories in Branching-Time Logics. 297-315
Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. 317-339
Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Temporalizing Epistemic Default Logic. 341-367
Joeri Engelfriet, Jan Treur: An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. 369-388
Hans Jürgen Ohlbach: Extensions of First-Order Logic, Maria Manzano. 389-391

Christian Retoré: Introduction. 395-398
Natasha Kurtonina: Categorial Inference and Modal Logic. 399-411
Aarne Ranta: Syntactic Calculus with Dependent Types. 413-431
Mark Johnson: Proof Nets and the Complexity of Processing Center Embedded Constructions. 433-447
V. Michele Abrusci, Elena Maringelli: A New Correctness Criterion for Cyclic Proof Nets. 449-459
Marc Dymetman: Group Theory and Computational Linguistics. 461-497
Hans de Nivelle: The Resolution Calculus, Alexander Leitsch. 499-502
Geert-Jan M. Kruijff: Labelled Deductive Systems, Volume 1, Dov M. Gabbay. 502-506