Journal of Logic, Language and Information, Volume 11

Volume 11, Number 1, 2002

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

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

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

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