Categorial Inference and Modal Logic
- Natasha KurtoninaAffiliated withInstitute for Research in Cognitive Science, University of Pennsylvania
Rent the article at a discountRent 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.
- Categorial Inference and Modal Logic
Journal of Logic, Language and Information
Volume 7, Issue 4 , pp 399-411
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Author Affiliations
- 1. Institute for Research in Cognitive Science, University of Pennsylvania, 3401 Walnut Street, Suite 4006, Philadelphia, PA, 19104-6228, U.S.A.