default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
