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
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:52, 5 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