Applied Modal Logic

				

			





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

	

	
 

					

				

			
Learnability Theory

				

			

		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...
		

	
 

					

				

			
Methodology of Linguistics

				

			





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)

	

	
 

					

				

			
Model Theoretic Syntax

				

			
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...
		

	
 

					

				

			
Ph.D. Thesis

				

			
Link



Deductive Systems and Grammars (1999)
	

		

			During the last fifteen years, much of the research of proof theoretical grammars has been...
		

	
 

					

				

			
Proof Theoretical Syntax

				

			





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...
		

	
 

					

				

				

			
Link



Deductive Systems and Grammars (1999)
	

		

			During the last fifteen years, much of the research of proof theoretical grammars has been...