Arity hierarchy for temporal logics (Q944387): Difference between revisions
From MaRDI portal
Latest revision as of 17:18, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Arity hierarchy for temporal logics |
scientific article |
Statements
Arity hierarchy for temporal logics (English)
0 references
16 September 2008
0 references
The paper studies the expressive power of temporal logics over trees. The main result states that in contrast to Kamp's theorem (stating, inter alia, that the temporal logic with ``Until'' and ``Since'' is expressively complete for the monadic first-order logic over the linear order of natural numbers), for every \(n\) there is a modality of arity \(n\) definable by a monadic logic formula, which is not equivalent over trees to any temporal logic formula which uses modalities of arity less than \(n\). The proof uses an instance of Shelah's composition theorem. Interesting corollaries of this result are, e.g., new proofs that CTL* and ECTL+ have no finite bases.
0 references
temporal logics over trees
0 references
expressiveness
0 references
Kamp's theorem
0 references
0 references
0 references