Linguistics and Philosophy

, Volume 18, Issue 4, pp 401–458 | Cite as

Is there a genuine modal perspective on feature structures?

  • Marcus Kracht


Artificial Intelligence Feature Structure Computational Linguistic Modal Perspective 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Baader, Franz, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, and Gert Smolka: 1993, ‘On the Expressivity of Feature Logics with Negation, Functional Uncertainty and Sort Equations’,Journal of Language, Logic and Information,2, 1–18.Google Scholar
  2. Baker, Mark C.: 1988,Incorporation. A Theory of Grammatical Function Changing, Chicago University Press.Google Scholar
  3. Bellissima, Fabio: 1988, ‘On the Lattice of Extensions of the Modal Logics K.Altn. Arch. Math. Logic27, 107–114.Google Scholar
  4. Ben-Ari, M., J. I. Halpern, and A. Pnueli, ‘Deterministic Propositional Dynamic Logic; Finite Models, Complexity and Completeness’,Journal of Computer and System Sciences 25, 402–417.Google Scholar
  5. Blackburn, Patrick and Edith Spaan: 1993a, ‘Decidability and Undecidability in Stand-Alone Feature Logics, inProceedings of the 6th Conference of the EACL.Google Scholar
  6. Blackburn, Patrick and Edith Spaan: 1993b, ‘A Modal Perspective on the Computational Complexity of Attribute Value Grammar’,Journal of Language, Logic and Information 2, 129–169.Google Scholar
  7. Blackburn, Patrick, Claire Gardent, and Wilfried Meyer-Viol: 1993, ‘Talking about Trees’, inProceedings of the 6th Conference of the EACL.Google Scholar
  8. Blackburn, Patrick: 1993, ‘Modal Logic and Attribute Value Structures’, in Maarten de Rijke (ed.),Diamonds and Defaults, Synthese No. 229, Kluwer, pp. 19–65.Google Scholar
  9. Blake, Barry J.: 1994,Case, Cambridge Textbooks in Linguistics, Cambridge University Press.Google Scholar
  10. Bull, Robert A. and Krister Segerberg: 1984, ‘Basic Modal Logic’, in Dov M. Gabbay and Franz Guenthner (eds.),Handbook of Philosophical Logic, volume 2, Reidel, pp. 1–88.Google Scholar
  11. Carpenter, Bob: 1992,The Logic of Typed Feature Structures, Cambridge Tracts in Theoretical Computer Science 32. Cambridge University Press.Google Scholar
  12. Chagrova, L. A.: 1991, ‘Undecidable Problems in Correspondency Theory’,Journal of Symbolic Logic 56, 1261–1272.Google Scholar
  13. Chomsky, Noam: 1986,Barriers, MIT Press, Cambridge (Mass.).Google Scholar
  14. Chomsky, Noam: 1993, ‘A Minimalist Program for Linguistic Theory’, in K. Hale and S. J. Keyser (eds.),The View from Building 20: Essays in Honour of Sylvain Bromberger, MIT Press, pp. 1–52.Google Scholar
  15. Fanselow, Gisbert: 1991,Minimale Syntax. Number 32 in Groninger Arbeiten zur germanistischen Linguistik. Rijksuniversiteit Groningen.Google Scholar
  16. Fiengo, Robert and Robert, May: 1994,Indices and Identity, Number 24 in Linguistics Inquiry Monographs, MIT Press.Google Scholar
  17. Fine, Kit: 1975a, ‘Normal Forms in Modal Logic’,Notre Dame Journal of Formal Logic 16, 31–42.Google Scholar
  18. Fine, Kit: 1975b, ‘Some Connections between Elementary and Modal Logic’, in Stig Kanger (ed.),Proceedings of the Third Scandinavian Logic Symposium, North-Holland, pp. 15–31.Google Scholar
  19. Fine, Kit: 1985, ‘Logics Containing K4, Part II’,Journal of Symbolic Logic 50, 619–651.Google Scholar
  20. Gazdar, Gerald, Ewan Klein, Geoffrey Pullum, and Ivan Sag: 1985,Generalized Phrase Structure Grammar, Blackwell, Oxford.Google Scholar
  21. Gazdar, G., G. Pullum, R. Carpenter, T. Hukari, and R. Levine: ‘Category Structures’,Computational Linguistics 14, 1–19.Google Scholar
  22. Goldblatt, Robert I.: 1987,Logics of Time and Computation, Number 7 in CSLI Lecture Notes, CSLI.Google Scholar
  23. Goranko, Valentin and Solomon Passy: 1992, ‘Using the Universal Modality: Gains and Questions’,Journal of Logic and Computation 2, 5–30.Google Scholar
  24. Grefe, Carsten: 1994, ‘Modale Logiken funktionaler Frames’, Master's thesis, Dept. of Mathematics, FU Berlin.Google Scholar
  25. Halle, Morris and Alec Marantz: 1993, ‘Distributed Morphology and the Pieces of Inflection’, in K. Hale and S. J. Keyser (eds),The View from Building 20: Essays in Honour of Sylvain Bromberger, MIT Press, pp. 111–176.Google Scholar
  26. Johnson, David E. and Lawrence S. Moss: 1994, ‘An Overview of Stratified Feature Grammar’, in Carlos Martín-Vide (ed.),Current Issues in Mathematical Linguistics, number 56 in North-Holland Linguistic Series, North-Holland, pp. 103–120.Google Scholar
  27. Johnson, Mark: 1988,Attribute-Value Logic and the Theory of Grammar, volume 16 ofCSLI Lecture Notes. CSLI.Google Scholar
  28. Johnson, Mark: 1991, ‘Logic and Feature Structures’, inProceedings of the 12th IJCAI, pp. 992–996.Google Scholar
  29. Kasper, Robert T. and William C. Rounds: 1990, ‘The Logic of Unification in Grammar’,Linguistics and Philosophy 13, 35–58.Google Scholar
  30. Kayne, Richard: 1983,Connectedness and Binary Branching, Foris, Dordrecht.Google Scholar
  31. Koster, Jan: 1986,Domains and Dynasties: The Radical Autonomy of Syntax, Foris, Dordrecht.Google Scholar
  32. Kracht, Marcus and Frank Wolter: 1991, ‘Properties of Independently Axiomatizable Bimodal Logics’,Journal of Symbolic Logic 56, 1469–1485.Google Scholar
  33. Kracht, Marcus: 1989, ‘On the Logic of Category Definitions’,Computational Linguistics 15, 111–113.Google Scholar
  34. Kracht, Marcus: 1991,Internal Definability and Completeness in Modal Logic, PhD thesis, FU Berlin.Google Scholar
  35. Kracht, Marcus: 1993a, ‘How Completeness and Correspondence Theory got Married’, in Maarten de Rijke (ed.),Diamonds and Defaults, Synthese, Kluwer, pp. 175–214.Google Scholar
  36. Kracht, Marcus: 1993b, ‘Nearness and Syntactic Influence Spheres’, Manuscript, 1993.Google Scholar
  37. Kracht, Marcus: 1995a, ‘Highway to the Danger Zone’,Journal of Logic and Computation,5, 93–109.Google Scholar
  38. Kracht, Marcus: 1995b, ‘Syntactic Codes and Grammar Refinement’,Journal of Logic, Language and Information.Google Scholar
  39. Laka, Itziar: 1991, ‘Negation in Syntax: on the Nature of Functional Categories and Projections’,International Journal of Basque Linguistics and Philology 25, 65–138.Google Scholar
  40. Pollard, Carl and Ivan A. Sag: 1987,Information-Based Syntax and Semantics, Part I. Number 13 in CSLI Lecture Notes. CSLI, 1987.Google Scholar
  41. Reinhart, Tanya: 1983, ‘Coreference and Bound Anaphora: A Restatement of the Anaphora Question’,Linguistics and Philosophy 6, 47–88.Google Scholar
  42. Segerberg, Krister: 1986, ‘Modal Logics with Functional Alternative Relations’,Notre Dame Journal of Formal Logic 27, 504–522.Google Scholar
  43. Stabler, Edward P.: 1992,The Logical Approach to Syntax. Foundation, Specification and Implementation of Theories of Government and Binding. ACL-MIT Press Series in Natural Language Processing. MIT Press, Cambridge (Mass.).Google Scholar
  44. van Benthem, Johan: 1983,Modal and Classical Logic, Bibliopolis.Google Scholar
  45. Wolter, Frank: 1993,Lattices of Modal Logics, PhD thesis, FU Berlin.Google Scholar
  46. Zakharyaschev, Michael: 1992, ‘Canonical Formulas for K4, Part I: Basic Results’,Journal of Symbolic Logic 57, 377–402.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • Marcus Kracht
    • 1
  1. 1.II. Department of MathematicsFree University of BerlinBerlinGermany

Personalised recommendations