Model-Theoretic Syntax at 10 - Earlham Computer Science ...

26 Modal Logic in Model Theoretic Syntax
Bibliography
Afanasiev, Loredana, Patrick Blackburn, Ioanna Dimitriou,
Bertrand Gaiffe, Evan Goris, Maarten Marx, and
Maarten de Rijke (2005). PDL for ordered trees. Journal
of Applied Non-Classical Logic, 15(2):115–135.
Backofen, Rolf, James Rogers, and K. Vijay-Shanker
(1995). A first-order axiomatization of the theory of
finite trees. Journal of Logic, Language and Information,
4(1):5–39.
Blackburn, Patrick, Claire Gardent, and Wilfried Meyer
Viol (1993). Talking about trees. In Steven Krauwer,
Michael Moortgat, and Louis des Tombe, eds., Sixth
Conference of the European Chapter of the Association
for Computational Linguistics — Proceedings of
the Conference. ACL.
Blackburn, Patrick and Wilfried Meyer-Viol (1994). Linguistics,
logic and finite trees. Bulletin of the Interest
Group in Pure and Applied Logics, 2(1):3–29.
Blackburn, Patrick, Wilfried Meyer-Viol, and Maarten
de Rijke (1996). A proof system for finite trees. In
Dirk van Dalen and Marc Bezem, eds., Computer science
logic (Paderborn, 1995). Springer, Berlin.
Chomsky, Noam (1981). Lectures on Government and
Binding. Foris Publications, Dordrecht.
Cornell, Thomas (2000). Parsing and grammar engineering
with tree automata. In Anton Nijholt Dirk Heylen
and Giuseppe Scollo, eds., Algebraic Methods in Language
Processing AMiLP 2000, Iowa City, Iowa.
Doner, John (1970). Tree acceptors and some of their applications.
Journal of Computer and System Sciences,
4:406–451.
Ferrante, Jeanne and Charles W. Rackoff (1979). The
computational complexity of logical theories. Springer,
Berlin.
Gazdar, Gerald, Ewan Klein, Geoffrey Pullum, and Ivan
Sag (1985). Generalized Phrase Structure Grammar.
Harvard University Press, Cambridge.
Gécseg, Ferenc and Magnus Steinby (1997). Tree languages.
In Handbook of formal languages, Vol. 3.
Springer, Berlin.
Gorn, Saul (1967). Explicit definitions and linguistic
dominoes. In Systems and Computer Science (Proc.
Conf., London, Ont., 1965). Univ. Toronto Press,
Toronto, Ont.
Hintikka, Jaakko and Gabriel Sandu (1991). On the
Methodology of Linguistics. Basil Blackwell, Oxford.
Klarlund, Nils (1998). Mona & fido: The logicautomaton
connection in practice. In Georg Gottlob,
Etienne Grandjean, and Katrin Seyr, eds., Computer
Science Logic (Brno, 1998). Springer, Berlin.
Kolb, Hans-Peter, Jens Michaelis, Uwe Mönnich, and
Frank Morawietz (2003). An operational and denotational
approach to non-context-freeness. Theoretical
Computer Science, 293(2):261–289.
Kornai, Andràs and Geoffrey K. Pullum (1990). The X-
bar theory of phrase structure. Language, 66:24–50.
Kracht, Marcus (1995). Syntactic codes and grammar
refinement. Journal of Logic, Language and Information,
4(1):41–60.
Kracht, Marcus (1997a). Inessential features. In Alain
Lecomte, François Lamarche, and Guy Perrier, eds.,
Logical aspects of computational linguistics. Springer,
Berlin.
Kracht, Marcus (1997b). On reducing principles to rules.
In Patrick Blackburn and Maarten de Rijke, eds., Specifying
Syntactic Structures. CSLI Publications, Stanford,
CA.
Kracht, Marcus (1999). Tools and techniques in modal
logic. North-Holland, Amsterdam.
Kracht, Marcus (2001). Logic and syntax—a personal
perspective. In Michael Zakharyaschev, Krister
Segerberg, Maarten de Rijke, and Heinrich Wansing,
eds., Advances in modal logic, Vol. 2. CSLI Publications,
Stanford, CA.
Kracht, Marcus (2003). The Mathematics of Language.
de Gruyter, Berlin.
Langholm, Tore (2001). A descriptive characterisation of
indexed grammars. Grammars, 4(3):205–262.
Lautemann, Clemens, Thomas Schwentick, and Denis
Thérien (1995). Logics for context-free languages.
In Leszek Pacholski and Jerzy Tiuryn, eds., Computer
science logic (Kazimierz, 1994). Springer, Berlin.
Libkin, Leonid (2004). Elements of finite model theory.
Springer, Berlin.
Marx, Maarten (2004). Conditional XPath, the first order
complete XPath dialect. In Proceedings of PODS ’04.
Moss, Lawrence S. and Hans-Jörg Tiede (2006). Applications
of modal logic in linguistics. In Patrick Blackburn,
Johan van Benthem, and Frank Wolter, eds.,
Handbook of Modal Logic. ELSEVIER, Amsterdam.
Palm, Adi (1999). Propositional tense logic for finite
trees. In Proceedings of Mathematics of Language
(MOL 6).
Palm, Adi (2001). Model theoretic syntax and parsing:
An application to temporal logic. In Proceedings of
Formal Grammar and Mathematics of Language (FG-
MOL).