Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
1 file | 1.67 MB
Add to list
  1. Search results
  2. Intuitionistic dynamic logic

Intuitionistic dynamic logic

Lukas Matthias Zenger (UGent)
(2025)
Author
Promoter
(UGent) , Thomas studer and (UGent)
Organization
Project
Keywords
Dynamical Systems, Intuitionistic Logic

Downloads

  • Download
    (...).pdf
    • full text (Published version)
    • |
    • UGent only
    • |
    • PDF
    • |
    • 1.67 MB

Citation

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

MLA
Zenger, Lukas Matthias. Intuitionistic Dynamic Logic. Ghent University. Faculty of Sciences, 2025.
APA
Zenger, L. M. (2025). Intuitionistic dynamic logic. Ghent University. Faculty of Sciences, Ghent, Belgium.
Chicago author-date
Zenger, Lukas Matthias. 2025. “Intuitionistic Dynamic Logic.” Ghent, Belgium: Ghent University. Faculty of Sciences.
Chicago author-date (all authors)
Zenger, Lukas Matthias. 2025. “Intuitionistic Dynamic Logic.” Ghent, Belgium: Ghent University. Faculty of Sciences.
Vancouver
1.
Zenger LM. Intuitionistic dynamic logic. [Ghent, Belgium]: Ghent University. Faculty of Sciences; 2025.
IEEE
[1]
L. M. Zenger, “Intuitionistic dynamic logic,” Ghent University. Faculty of Sciences, Ghent, Belgium, 2025.
@phdthesis{01KP8PGQNXPBSKASCB7ANB1YTD,
  author       = {{Zenger, Lukas Matthias}},
  keywords     = {{Dynamical Systems,Intuitionistic Logic}},
  language     = {{eng}},
  pages        = {{X, 248}},
  publisher    = {{Ghent University. Faculty of Sciences}},
  school       = {{Ghent University}},
  title        = {{Intuitionistic dynamic logic}},
  year         = {{2025}},
}