Search results

Record: oai:ARNO:399385

1

Author R.A. Leal Rodríguez Title Modalities through the looking glass: a study on coalgebraic modal logics and their applications Promotor Y. Venema Date 18-11-2011 Publisher Institute for Logic, Language and Computation Place Amsterdam Year 2011 Pages xiii, 236 ISBN 978-90-5776-231-4 Faculty Faculty of Science Institute/dept. FNWI: 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. Language English Note ILLC dissertation series DS-2011-09 Document type Dissertation Download papers 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 Document finder Use this url to link to this page: http://dare.uva.nl/en/record/399385 Contact us about this recordNotify a colleague Add to bookbag

• Disclaimer/Complaints regulations
  If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the University Library know, stating your reasons. In case of a legitimate complaint the University Libary will make the material inaccessible and/or remove it from the website.
  Please send an e-mail to: dare@uva.nl, or a letter to: Bibliotheek van de Universiteit van Amsterdam, Dept. Electronic Services, UvA-DARE, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

• UvA-DARE is a service of the Library of the University of Amsterdam and is part of a national and international network of scientific and scholarly information services.