Journal of Logic, Language and Information, Volume 19

Volume 19, Number 1, January 2010

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

Volume 19, Number 2, April 2010

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

Volume 19, Number 3, July 2010

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

Volume 19, Number 4, October 2010

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

Last update Wed Feb 15 05:38:37 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page