Natasha Kurtonina (kurtonina)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Clark, Robin and Kurtonina, Natasha. 1999. “Consequences from Quine.” in ILLC. Proceedings of the Twelfth Amsterdam Colloquium, edited by Paul J. E. Dekker and Martin B. J. Stokhof, pp. 91–95. University of Amsterdam, Holland, Institute for Logic, Language; Computation: ILLC Publications.
Joshi, Arivind K., Kulick, Seth and Kurtonina, Natasha. 1999. “Semantic Composition for Partial Proof Trees.” in ILLC. Proceedings of the Twelfth Amsterdam Colloquium, edited by Paul J. E. Dekker and Martin B. J. Stokhof, pp. 157–162. University of Amsterdam, Holland, Institute for Logic, Language; Computation: ILLC Publications.
Kurtonina, Natasha. 1998. “Categorial Inference and Modal Logic.” Journal of Logic, Language, and Information 7(4): 399–411.
Kurtonina, Natasha. 2000. “Review of van Benthem and ter Meulen (1997).” Journal of Logic, Language, and Information 9(2): 263–269.
Kurtonina, Natasha and de Rijke, Maarten. 1997. “Bisimulations for Temporal Logic.” Journal of Logic, Language, and Information 6(4): 403–425.
Kurtonina, Natasha and de Rijke, Maarten. 1999. “Expressiveness of Concept Expressions in First-Order Description Logics.” Artificial Intelligence 107(2): 303–333.
Further References
van Benthem, Johan and ter Meulen,
Alice G. B., eds. 1997. Handbook of Logic and
Language. Amsterdam: Elsevier Science Publishers B.V.
Second edition: van Benthem and ter Meulen
(2011).
van Benthem, Johan and ter Meulen,
Alice G. B., eds. 2011. Handbook of Logic and
Language. 2nd ed. Amsterdam: Elsevier Science Publishers
B.V. First edition: van Benthem and ter Meulen
(1997).