Logic between Expressivity and Complexity

Zoekresultaten

Zoekopdracht: auteur: "benthem,j.f.a.k.van"

Auteur	J.F.A.K. van Benthem
Titel	Logic between Expressivity and Complexity
Faculteit	Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.	FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
Trefwoorden	modal logic, dynamic logic, expressive power, complexity, bisimulation, fragments, computational logic
Serie	ILLC Prepublications / ILLC ; PP-2011-25
Samenvatting	Automated deduction is not just application or implementation of logical systems. The field of computational logic also poses deep challenges to our understanding of logic itself. I will discuss some key issues. This text is just an appetizer that will be elaborated in the lecture.
Opmerkingen	Invited lecture, "Proceedings IJCAR, Edinburgh 2010".
Soort document	Preprint
Download bestand	document/224954
Document finder

Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/387396

Disclaimer/Klachtenregeling
Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de Universiteitsbibliotheek het materiaal ontoegankelijk maken en/of van de website verwijderen, dan wel samen met u bekijken hoe op een andere manier aan uw klacht tegemoet kan worden gekomen.
Stuurt u hiervoor een e-mail naar: dare@uva.nl, of een brief naar: Bibliotheek van de Universiteit van Amsterdam, afdeling Elektronische Diensten, UvA-DARE, Singel 425, 1012 WP Amsterdam. Er zal dan zo spoedig mogelijk contact met u worden opgenomen.