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

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

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

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