A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W835068744 / rank | |||
Normal rank |
Latest revision as of 21:17, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases |
scientific article |
Statements
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (English)
0 references
7 April 2016
0 references
The authors consider the six Allen relations of interval temporal logic (\(A\), \(L\), \(B\), \(E\), \(D\), \(O\)) and their inverses. We have thus 12 modalities, giving rise to \(2^{12}\) modal logics. On general linear orders, these logics are 1347 up to equiexpressivity, and on dense linear orders, they are 966.
0 references
Allen relations
0 references
interval temporal logic
0 references