4 found
Sort by:
  1. Natasha Kurtonina (2000). Handbook of Logic and Language, Johan Van Benthem and Alice Ter Meulen, Eds. Journal of Logic, Language and Information 9 (2):263-269.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Natasha Kurtonina (1998). Categorial Inference and Modal Logic. Journal of Logic, Language and Information 7 (4):399-411.
    This paper establishes a connection between structure sensitive categorial inference and classical modal logic. The embedding theorems for non-associative Lambek Calculus and the whole class of its weak Sahlqvist extensions demonstrate that various resource sensitive regimes can be modelled within the framework of unimodal temporal logic. On the semantic side, this requires decomposition of the ternary accessibility relation to provide its correlation with standard binary Kripke frames and models.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Aravind K. Joshi, Seth Kulick & Natasha Kurtonina (1997). Semantic Composition for Partial Proof Trees. Linguistics and Philosophy 20:637-667.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Natasha Kurtonina & Maarten de Rijke (1997). Bisimulations for Temporal Logic. Journal of Logic, Language and Information 6 (4):403-425.
    We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation