External Links

    Journal: Journal of Logic, Language and Information

    Volume 11, Issue 4

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

    Volume 11, Issue 3

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

    Volume 11, Issue 2

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

    Volume 11, Issue 1

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