Journal of Logic, Language and Information

, Volume 7, Issue 4, pp 399-411

First online:

Categorial Inference and Modal Logic

  • Natasha KurtoninaAffiliated withInstitute for Research in Cognitive Science, University of Pennsylvania

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.