Fixed-point logics on trees

Authors	A.P. Gheerbrant
Supervisors	J.F.A.K. van Benthem
Cosupervisors	B.D. ten Cate
Award date	09-12-2010
ISBN	9789057762161
Number of pages	174
Publisher	Amsterdam: Institute for Logic, Language and Computation
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	PhD thesis
Note	ILLC dissertation series DS-2010-08 Research conducted at: Universiteit van Amsterdam
Language	English
Downloads	Thesis Cover Title pages Contents Acknowledgments Chapter 1: Introduction Chapter 2: Preliminaries Chapter 3: Complete axiomatization of fragments of MSO on finite trees Chapter 4: Interpolation for linear temporal languages Chapter 5: Complete axiomatization of μTL(U) Chapter 6: Fixed-point logics on finite extensive games Chapter 7: Conclusion Bibliography Samenvatting Abstract Titles in the ILLC dissertation series
Permalink to this page

Back

UvA-DARE