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
Volume 11, Number 2, Spring 2002
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
Volume 11, Number 3, Summer 2002
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
Volume 11, Number 4, Fall 2002
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
Copyright ©
Mon Nov 30 20:29:35 2009 by
Michael Ley
(
ley@uni-trier.de
)