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
  

Volume 7, Number 2, April 1998

• 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
  

Volume 7, Number 3, July 1998

• 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
  

Volume 7, Number 4, October 1998

• 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
  

Last update Tue Feb 14 04:20:51 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page