Abstract | ||
---|---|---|
This paper establishes a connection between structuresensitive categorial inference and classical modal logic. The embeddingtheorems for non-associative Lambek Calculus and the whole class of itsweak Sahlqvist extensions demonstrate that various resource sensitiveregimes 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. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1023/A:1008322125368 | Journal of Logic, Language and Information |
Keywords | Field | DocType |
Artificial Intelligence,Modal Logic,Temporal Logic,Accessibility Relation,Kripke Frame | Discrete mathematics,Normal modal logic,Accessibility relation,Multimodal logic,Noncommutative logic,Categorial grammar,Modal logic,Classical modal logic,Dynamic logic (modal logic),Mathematics | Journal |
Volume | Issue | ISSN |
7 | 4 | 1572-9583 |
Citations | PageRank | References |
3 | 0.49 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Natasha Kurtonina | 1 | 90 | 13.20 |