Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Mortimer, M.: On languages with two variables. Zeitschrift für Math. Logik und Grundlagen der Mathematik 21, 135–140 (1975)
2. de Nivelle, H., Pratt-Hartmann, I.: A resolution-based decision procedure for the two-variable fragment with equality. In: IJCAR, pp. 211–225 (2001)
3. Kamp, H., Reyle, U.: From Discourse to Logic; An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT. Kluwer, Dordrecht (1993)
4. van Eijck, J., Kamp, H.: Representing Discourse in Context. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 179–240. Elsevier, MIT (1997)
5. Pratt-Hartmann, I.: A two-variable fragment of english. Journal of Logic, Language and Information 12(1), 13–45 (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献