Natasha Kurtonina

From MaRDI portal
Person:1280044


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Relational semantics for the Lambek-Grishin calculus
Lecture Notes in Computer Science
2010-08-31Paper
Partial proof trees, hybrid logic, and quantifier scope
Research on Language and Computation
2005-03-15Paper
scientific article; zbMATH DE number 1859203 (Why is no real title available?)
 
2003-06-16Paper
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
2002-07-24Paper
scientific article; zbMATH DE number 1689580 (Why is no real title available?)
 
2002-01-13Paper
scientific article; zbMATH DE number 1463147 (Why is no real title available?)
 
2000-07-27Paper
Categorial inference and modal logic
Journal of Logic, Language and Information
1999-07-05Paper
Simulating without Negation
Journal Of Logic And Computation
1998-11-24Paper
Bisimulations for temporal logic
Journal of Logic, Language and Information
1998-01-07Paper
Talking about Explicit Databases in Categorial Grammar
Logic Journal of the IGPL
1995-11-28Paper


Research outcomes over time


This page was built for person: Natasha Kurtonina