Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Research output
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Arity hierarchy for temporal logics
Alexander Rabinovich
*
*
Corresponding author for this work
School of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Arity hierarchy for temporal logics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Arity
50%
Arity Hierarchy
100%
C(T)
50%
Canonical Model
25%
Composition Theorem
25%
Expressive Power
25%
Finite Basis
25%
First-order
25%
Linear Time
25%
Logic Formulas
50%
Monadic Logic
50%
Result State
25%
Temporal Logic
100%
Mathematics
Canonical Model
25%
Composition Theorem
25%
Expressive Power
25%
Linear Time
25%
Main Result
25%
Temporal Logic
100%
Computer Science
Canonical Model
25%
Expressive Power
25%
Temporal Logic
100%