Articles

Link

Monadic Second-Order Logic and Transitive Closure Logics Over Trees (with Stephan Kepser), Research on Language & Computation (2009)
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural...
 

Link

Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax, Journal of Logic, Language and Information (2008)
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal...
 

OpenURL

Identifiability in the Limit of Context-Free Generalized Quantifiers, Journal of Language and Computation (1999)
We investigate the indentifiability in the limit of subclasses of generalized quantifiers definable in Presburger...
 

Contributions to Books

Inessential Features and Expressive Power of Descriptive Metalanguages (with Geoffrey K. Pullum), Features: Perspectives on a Key Notion in Linguistics (2010)
 

Recursion, Infinity and Modeling (with Lawrence Neff Stout), Recursion and Human Language (2009)
 

Applications of Modal Logic in Linguistics (with Lawrence Moss), Handbook of Modal Logic (2007)
 

Proof Theory and Formal Grammars - Applications of Normalization, Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics. (2003)
 

Proof Tree Automata, Words, Proofs, and Diagrams (2002)
In this paper, we continue our investigation of the strong generative capacity of proof theoretical...
 

Link

Lambek Calculus Proofs and Tree Automata, Logical Aspects of Computational Linguistics (2001)
We investigate natural deduction proofs of the Lambek calculus from the point of view of...
 

Link

Counting the Number of Proofs in the Commutative Lambek Calculus, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday (1999)
This paper is concerned with the study of the number of proofs of a sequent...
 

Other

Link

Deductive Systems and Grammars (1999)
During the last fifteen years, much of the research of proof theoretical grammars has been...