Temporal Fixpoint Logic is a formal logical system within temporal logic that extends modal or temporal reasoning with least and greatest fixpoint operators to express recursive temporal properties over computational paths.
5
Publications
278
Citations
7
Authors
7
Institutions
Publications per year
2017–2026
0
Parents
Publications
5
Moshe Y. Vardi · 1988 · 205 citations · Full text
Fixpoint Extensions of Temporal Description Logics.
Enrico Franconi, David Toman · 2003 · 14 citations
1–5 of 5
Authors
7
- JB
1
h-index
- PJ
1
h-index
- MY
1
h-index
- DT
1
h-index
- CĈ
1
h-index
1–5 of 7
Institutions
7
Free University of Bozen-Bolzano
Bolzano, Italy
1 h-index
1 publications
14 citations
IBM Research - Almaden
San Jose, United States
1 h-index
1 publications
205 citations
University of Edinburgh
Edinburgh, United Kingdom
1 h-index
1 publications
10 citations
Örebro University
Örebro, Sweden
1 h-index
1 publications
39 citations
University of Southampton
Southampton, United Kingdom
1 h-index
1 publications
10 citations
University of Waterloo
Waterloo, Canada
1 h-index
1 publications
14 citations
Linköping University
Linköping, Sweden
1 h-index
1 publications
39 citations
1–7 of 7
Venues
- RAIRO - Theoretical Informatics and Applications
ITA · 1 publications · 10 citations
1
h-index
- Artificial Intelligence
1 publications · 39 citations
1
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 1 publications · 10 citations
1
h-index
1–3