External Links

    Journal: Journal of Logic, Language and Information

    Volume 19, Issue 4

    389 -- 393Johan van Benthem, Eric Pacuit. Temporal Logics of Agency
    395 -- 412Dietmar Berwanger, Lukasz Kaiser. Information Tracking in Games on Graphs
    413 -- 430Tomohiro Hoshi. Merging DEL and ETL
    431 -- 450Gerhard Lakemeyer. The Situation Calculus: A Case for Modal Logic
    451 -- 484Swarup Mohalik, Ramaswamy Ramanujam. Automata for Epistemic Temporal Logic with Synchronous Communication
    485 -- 503Ming Xu. Combinations of ::::Stit:::: and Actions

    Volume 19, Issue 3

    247 -- 282Chunlai Zhou. Probability Logic of Finitely Additive Beliefs
    283 -- 314Claes Strannegård, Simon Ulfsbäcker, David Hedqvist, Tommy Gärling. Reasoning Processes in Propositional Logic
    315 -- 326Dale Jacquette. Circularity or Lacunae in Tarski s Truth-Schemata
    327 -- 351Emiliano Lorini. A Dynamic Logic of Agency II: Deterministic ::::DLA::::{/mathcal{DLA}} , Coalition Logic, and Game Theory
    353 -- 381Sean A. Fulop. Grammar Induction by Unification of Type-logical Lexicons
    383 -- 387Mark Jago. Joe Salerno (ed): New Essays on the Knowability Paradox - Oxford University Press, Oxford, 2009, xi, 373, Hardcover, ISBN: 978-0-19-928549-5

    Volume 19, Issue 2

    129 -- 136Reinhard Muskens. New Directions in Type-Theoretic Grammars
    137 -- 161Makoto Kanazawa. Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
    163 -- 183Sylvain Salvati. On the Membership Problem for Non-Linear Abstract Categorial Grammars
    185 -- 200Christian Retoré, Sylvain Salvati. A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
    201 -- 228Krasimir Angelov, Björn Bringert, Aarne Ranta. PGF: A Portable Run-time Format for Type-theoretical Grammars
    229 -- 245Christian Bassac, Bruno Mery, Christian Retoré. Towards a Type-Theoretical Account of Lexical Semantics

    Volume 19, Issue 1

    1 -- 0Marcus Kracht. Editorial
    3 -- 32Dov M. Gabbay, Karl Schlechta. A Theory of Hierarchical Consequence and Conditionals
    33 -- 51Norihiro Kamide. Dynamic Non-Commutative Logic
    53 -- 73Catherine Lai, Steven Bird. Querying Linguistic Trees
    75 -- 88Joachim Lambek. Exploring Feature Agreement in French with Parallel Pregroup Computations
    89 -- 121Andreas Herzig, Emiliano Lorini. A Dynamic Logic of Agency I: STIT, Capabilities and Powers
    123 -- 128Richard Zuber. A Note on the Monotonicity of Reducible Quantifiers
    runs on