Journal of Logic, Language and Information, Volume 20
Volume 20, Number 1, January 2011
- Savas Konur: An Event-Based Fragment of First-Order Logic over Intervals. 49-68
- Alastair Butler: Semantically Restricted Argument Dependencies. 69-114
- Lloyd Humberstone: Variation on a Trivialist Argument of Paul Kabay. 115-132
- Sean A. Fulop: Erratum to: Grammar Induction by Unification of Type-logical Lexicons. 135-136
Volume 20, Number 2, April 2011
- Patricia Bouyer, Franck Cassez, François Laroussinie: Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. 169-203
- Holger Andreas: A Structuralist Theory of Belief Revision. 205-232
- Livio Robaldo: Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality. 233-271
Volume 20, Number 3, July 2011
- Gerald Penn: Introduction to the Special Issue on the Mathematics of Language. 273-275
- Geoffrey K. Pullum: On the Mathematical Foundations of Syntactic Structures. 277-296
- Marcus Tomalin: Syntactic Structures and Recursive Devices: A Legacy of Imprecision. 297-315
- András Kornai: Probabilistic Grammars and Languages. 317-328
- James Rogers, Geoffrey K. Pullum: Aural Pattern Recognition Experiments and the Subregular Hierarchy. 329-342
- Lucas Champollion: Lexicalized Non-Local MCTAG with Dominance Links is NP-Complete. 343-359
- Stephan Kepser, Jim Rogers: The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars. 361-384
- W. Garrett Mitchener: A Mathematical Model of Prediction-Driven Instability: How Social Structure Can Drive Language Change. 385-396
- Lawrence S. Moss: Syllogistic Logic with Comparative Adjectives. 397-417
Volume 20, Number 4, October 2011
- Anne Preller, Mehrnoosh Sadrzadeh: Semantic Vector Models and Functional Models for Pregroup Grammars. 419-443
- Ian Pratt-Hartmann: The Hamiltonian Syllogistic. 445-474
- Miroslaw Szatkowski: Partly Free Semantics for Some Anderson-Like Ontological Proofs. 475-512
- Nir Fresco: Concrete Digital Computation: What Does it Take for a Physical System to Compute? 513-537
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team