Journal of Logic, Language and Information, Volume 11

Volume 11, Number 1, 2002

Patrick Blackburn: Editorial. 1
Alexander Bochman: Entrenchment versus Dependence: Coherence and Foundations inBelief Change. 3-27
Dov M. Gabbay, G. Malod: Naming Worlds in Modal and Temporal Logic. 29-65
Ani Nenkova: A Tableau Method for Graded Intersections of Modalities: A Case for Concept Languages. 67-77
Antonio Moreno-Sandoval, José Miguel Goñi-Menoyo: Spanish Inflectional Morphology in DATR. 79-105
Albert Visser: The Donkey and the Monoid. Dynamic Semantics with Control Elements. 107-131

Paul Dekker: Meaning and Use of Indefinite Expressions. 141-194
Joeri Engelfriet, Catholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. 195-225
Norihiro Kamide: Substructural Logics with Mingle. 227-249
Marcus Kracht: Referent Systems and Relational Grammar. 251-286

Paul Dekker, Marc Pauly: Editorial: Logic and Games. 287-288
Johan van Benthem: Extensive Games as Process Models. 289-313
Peter McBurney, Simon Parsons: Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents. 315-334
Thorsten Clausing: A Syntactic Framework with Probabilistic Beliefs and Conditionals for the Analysis of Strategic Form Games. 335-348
Hans P. van Ditmarsch: Descriptions of Game Actions. 349-365
Theo M. V. Janssen: Independent Choices and the Interpretation of IF Logic. 367-387

Joeri Engelfriet, Jan Treur: Linear, Branching Time and Joint Closure Semantics for Temporal Logic. 389-425
Gerhard Jäger: Some Notes on the Formal Properties of Bidirectional Optimality Theory. 427-451
Norihiro Kamide: Kripke Semantics for Modal Substructural Logics. 453-470
Luciano Serafini, Fausto Giunchiglia: ML Systems: A Proof Theory for Contexts. 471-518