Modalities through the looking glass: a study on coalgebraic modal logics and their applications

Authors	R.A. Leal
Supervisors	Y. Venema
Award date	18-11-2011
ISBN	9789057762314
Number of pages	236
Publisher	Amsterdam: Institute for Logic, Language and Computation
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract	Raúl Andrés Leal deed onderzoek naar coalgebra’s en modale logica’s. Coalgabra’s vormen de basis voor een wiskundig theorie van computersystemen. Met coalgabra’s kunnen systemen bestudeerd worden waartoe slechts beperkt toegang is, of waarvan de toestanden niet volledig bekend zijn. Dit heet het black box-perspectief. Modale logica’s bieden een interne, lokale kijk op relationele structuren. De oorsprong ervan ligt in de wijsbegeerte. Tegenwoordig wordt gesteld dat modale logica’s coalgabraïsch zijn. Leal ontwikkelde onder meer coalgabraïsche modale logica’s.
Document type	PhD thesis
Note	ILLC dissertation series DS-2011-09 Research conducted at: Universiteit van Amsterdam
Language	English
Downloads	Thesis Cover Title pages Contents Acknowledgments 1: Introduction 2: Algebras & coalgebras 3: Coalgebraic modal logics 4: Comparing coalgebraic modal logics 5: From abstract to concrete 6: Describing behavioural equivalence: three sides of one coin 7: Dynamic modalities and coalgebraic logics 8: Fixed points coalgebraically 9: Beyond the Stone Age A: Some definitions from category theory Bibliography Index Samenvatting Abstract Titles in the ILLC dissertation series
Permalink to this page

Back

UvA-DARE