Skip to main content
SpringerLink
Log in

Is there a genuine modal perspective on feature structures?

  • Published:
Linguistics and Philosophy Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • 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 

  • Baker, Mark C.: 1988,Incorporation. A Theory of Grammatical Function Changing, Chicago University Press.

  • Bellissima, Fabio: 1988, ‘On the Lattice of Extensions of the Modal Logics K.Alt n . Arch. Math. Logic27, 107–114.

    Google Scholar 

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

  • Blackburn, Patrick and Edith Spaan: 1993a, ‘Decidability and Undecidability in Stand-Alone Feature Logics, inProceedings of the 6th Conference of the EACL.

  • 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 

  • Blackburn, Patrick, Claire Gardent, and Wilfried Meyer-Viol: 1993, ‘Talking about Trees’, inProceedings of the 6th Conference of the EACL.

  • Blackburn, Patrick: 1993, ‘Modal Logic and Attribute Value Structures’, in Maarten de Rijke (ed.),Diamonds and Defaults, Synthese No. 229, Kluwer, pp. 19–65.

  • Blake, Barry J.: 1994,Case, Cambridge Textbooks in Linguistics, Cambridge University Press.

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

  • Carpenter, Bob: 1992,The Logic of Typed Feature Structures, Cambridge Tracts in Theoretical Computer Science 32. Cambridge University Press.

  • Chagrova, L. A.: 1991, ‘Undecidable Problems in Correspondency Theory’,Journal of Symbolic Logic 56, 1261–1272.

    Google Scholar 

  • Chomsky, Noam: 1986,Barriers, MIT Press, Cambridge (Mass.).

    Google Scholar 

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

  • Fanselow, Gisbert: 1991,Minimale Syntax. Number 32 in Groninger Arbeiten zur germanistischen Linguistik. Rijksuniversiteit Groningen.

  • Fiengo, Robert and Robert, May: 1994,Indices and Identity, Number 24 in Linguistics Inquiry Monographs, MIT Press.

  • Fine, Kit: 1975a, ‘Normal Forms in Modal Logic’,Notre Dame Journal of Formal Logic 16, 31–42.

    Google Scholar 

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

  • Fine, Kit: 1985, ‘Logics Containing K4, Part II’,Journal of Symbolic Logic 50, 619–651.

    Google Scholar 

  • Gazdar, Gerald, Ewan Klein, Geoffrey Pullum, and Ivan Sag: 1985,Generalized Phrase Structure Grammar, Blackwell, Oxford.

    Google Scholar 

  • Gazdar, G., G. Pullum, R. Carpenter, T. Hukari, and R. Levine: ‘Category Structures’,Computational Linguistics 14, 1–19.

  • Goldblatt, Robert I.: 1987,Logics of Time and Computation, Number 7 in CSLI Lecture Notes, CSLI.

  • Goranko, Valentin and Solomon Passy: 1992, ‘Using the Universal Modality: Gains and Questions’,Journal of Logic and Computation 2, 5–30.

    Google Scholar 

  • Grefe, Carsten: 1994, ‘Modale Logiken funktionaler Frames’, Master's thesis, Dept. of Mathematics, FU Berlin.

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

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

  • Johnson, Mark: 1988,Attribute-Value Logic and the Theory of Grammar, volume 16 ofCSLI Lecture Notes. CSLI.

  • Johnson, Mark: 1991, ‘Logic and Feature Structures’, inProceedings of the 12th IJCAI, pp. 992–996.

  • Kasper, Robert T. and William C. Rounds: 1990, ‘The Logic of Unification in Grammar’,Linguistics and Philosophy 13, 35–58.

    Google Scholar 

  • Kayne, Richard: 1983,Connectedness and Binary Branching, Foris, Dordrecht.

    Google Scholar 

  • Koster, Jan: 1986,Domains and Dynasties: The Radical Autonomy of Syntax, Foris, Dordrecht.

    Google Scholar 

  • Kracht, Marcus and Frank Wolter: 1991, ‘Properties of Independently Axiomatizable Bimodal Logics’,Journal of Symbolic Logic 56, 1469–1485.

    Google Scholar 

  • Kracht, Marcus: 1989, ‘On the Logic of Category Definitions’,Computational Linguistics 15, 111–113.

    Google Scholar 

  • Kracht, Marcus: 1991,Internal Definability and Completeness in Modal Logic, PhD thesis, FU Berlin.

  • Kracht, Marcus: 1993a, ‘How Completeness and Correspondence Theory got Married’, in Maarten de Rijke (ed.),Diamonds and Defaults, Synthese, Kluwer, pp. 175–214.

  • Kracht, Marcus: 1993b, ‘Nearness and Syntactic Influence Spheres’, Manuscript, 1993.

  • Kracht, Marcus: 1995a, ‘Highway to the Danger Zone’,Journal of Logic and Computation,5, 93–109.

    Google Scholar 

  • Kracht, Marcus: 1995b, ‘Syntactic Codes and Grammar Refinement’,Journal of Logic, Language and Information.

  • 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 

  • Pollard, Carl and Ivan A. Sag: 1987,Information-Based Syntax and Semantics, Part I. Number 13 in CSLI Lecture Notes. CSLI, 1987.

  • Reinhart, Tanya: 1983, ‘Coreference and Bound Anaphora: A Restatement of the Anaphora Question’,Linguistics and Philosophy 6, 47–88.

    Google Scholar 

  • Segerberg, Krister: 1986, ‘Modal Logics with Functional Alternative Relations’,Notre Dame Journal of Formal Logic 27, 504–522.

    Google Scholar 

  • 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 

  • van Benthem, Johan: 1983,Modal and Classical Logic, Bibliopolis.

  • Wolter, Frank: 1993,Lattices of Modal Logics, PhD thesis, FU Berlin.

  • Zakharyaschev, Michael: 1992, ‘Canonical Formulas for K4, Part I: Basic Results’,Journal of Symbolic Logic 57, 377–402.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. II. Department of Mathematics, Free University of Berlin, Arnimallee 3, 14195, Berlin, Germany

    Marcus Kracht

Authors
  1. Marcus Kracht
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kracht, M. Is there a genuine modal perspective on feature structures?. Linguist Philos 18, 401–458 (1995). https://doi.org/10.1007/BF00984931

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00984931

Keywords

Search

Navigation