Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax-Reference-Cited by-同舟云学术

Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax

Published:2007-10-25 Issue:2 Volume:17 Page:217-227
ISSN:0925-8531
Container-title:Journal of Logic, Language and Information
language:en
Short-container-title:J of Log Lang and Inf

Author:

Tiede Hans-Jörg

Publisher

Springer Science and Business Media LLC

Subject

Linguistics and Language,Philosophy,Computer Science (miscellaneous)

Link

http://link.springer.com/content/pdf/10.1007/s10849-007-9052-3.pdf

Reference20 articles.

1. Afanasiev L., Blackburn P., Dimitriou I., Gaiffe B., Goris E., Marx M., de Rijke M. (2005) PDL for ordered trees. Journal of Applied Non-Classical Logic 15(2): 115–135

2. Blackburn P., Meyer-Viol W. (1994). Linguistics, logic and finite trees. Logic Journal of the IGPL, 2(1): 3–29

3. Cornell T., Rogers J. (2000). Model theoretic syntax. In: Cheng L.L.-S., Sybesma R. (eds) The GLOT international state-of-the-article book. Berlin, de Gruyter, pp. 177–198

4. Courcelle, B. (1990). Graph rewriting: An algebraic and logic approach. In: J. van Leeuwen (Ed.), Handbook of theoretical computer science (Vol. B, Chapt. 5, pp. 193–242). Elsevier.

5. Gécseg, F., & Steinby, M. (1997). Tree languages. In: G. Rozenberg, & A. Salomaa (Eds.), Handbook of formal languages (Vol. 3, pp. 1–68). Springer.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abbreviations;Features;2010-08-19

2. Notes on contributors;Features;2010-08-19

3. Copyright Page;Features;2010-08-19

4. Querying Linguistic Trees;Journal of Logic, Language and Information;2009-05-28