The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Search results

Query: author: "benthem,j.f.a.k.van"

AuthorJ.F.A.K. van Benthem
TitleLogic between Expressivity and Complexity
FacultyFaculty of Science
Institute/dept.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
Keywordsmodal logic, dynamic logic, expressive power, complexity, bisimulation, fragments, computational logic
SeriesILLC Prepublications / ILLC ; PP-2011-25
AbstractAutomated 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.
NoteInvited lecture, "Proceedings IJCAR, Edinburgh 2010".
Document typePreprint
Download paper
Document finderUvA-Linker