Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
1 file | 1.48 MB
Add to list
  1. Search results
  2. Modal combinatorics : unification, fi...

Modal combinatorics : unification, fixed-points, and reflection

Konstantinos Papafilippou (UGent)
(2025)
Author
Promoter
(UGent) , (UGent) , (UGent) and Juan Aguilera
Organization
Project
Keywords
Modal logic, Topological µ-calculus, Parametric unification, Mathematical logic, Japaridze’s Polymodal Logic (GLP), Gödel-Löb Logic (GL), Arithmetical Comprehension Axiom (ACA₀)

Downloads

  • Download
    PhD Thesis Konstantinos Papafilippou.pdf
    • full text (Published version)
    • |
    • open access
    • |
    • PDF
    • |
    • 1.48 MB

Citation

Please use this url to cite or link to this publication:

MLA
Papafilippou, Konstantinos. Modal Combinatorics : Unification, Fixed-Points, and Reflection. Ghent University. Faculty of Sciences, 2025.
APA
Papafilippou, K. (2025). Modal combinatorics : unification, fixed-points, and reflection. Ghent University. Faculty of Sciences, Ghent.
Chicago author-date
Papafilippou, Konstantinos. 2025. “Modal Combinatorics : Unification, Fixed-Points, and Reflection.” Ghent: Ghent University. Faculty of Sciences.
Chicago author-date (all authors)
Papafilippou, Konstantinos. 2025. “Modal Combinatorics : Unification, Fixed-Points, and Reflection.” Ghent: Ghent University. Faculty of Sciences.
Vancouver
1.
Papafilippou K. Modal combinatorics : unification, fixed-points, and reflection. [Ghent]: Ghent University. Faculty of Sciences; 2025.
IEEE
[1]
K. Papafilippou, “Modal combinatorics : unification, fixed-points, and reflection,” Ghent University. Faculty of Sciences, Ghent, 2025.
@phdthesis{01KJ77Q4EV3T1ECJCCR4FW67YH,
  author       = {{Papafilippou, Konstantinos}},
  keywords     = {{Modal logic,Topological µ-calculus,Parametric unification,Mathematical logic,Japaridze’s Polymodal Logic (GLP),Gödel-Löb Logic (GL),Arithmetical Comprehension Axiom (ACA₀)}},
  language     = {{eng}},
  pages        = {{XII, 122}},
  publisher    = {{Ghent University. Faculty of Sciences}},
  school       = {{Ghent University}},
  title        = {{Modal combinatorics : unification, fixed-points, and reflection}},
  year         = {{2025}},
}