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).

Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2006"

AuteursJ.F.A.K. van Benthem, F. Liu
TitelDynamic Logic of Preference Upgrade
TijdschriftJournal of Applied Non-Classical Logics
Jaar2006
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
Trefwoordenpreference upgrade; informaion update; dynamic logic
SerieILLC Prepublications / ILLC ; PP-2006-45
SamenvattingStatements not only update our current knowledge, but
also have other dynamic effects. In particular, suggestions or
commands `upgrade' our preferences by changing the current order
among worlds. We present a complete logic of knowledge update plus
preference upgrade that works with dynamic-epistemic-style
reduction axioms. This system can model changing obligations,
conflicting commands, or `regret'. We then show how to derive
reduction axioms from arbitrary definable relation changes. This
style of analysis also has a product update version with
preferences between actions, as well as worlds. Some illustrations
are presented involving defaults and obligations. We conclude that
our dynamic framework is viable, while admitting a further
extension to more numerical `utility update'.
Soort documentPreprint
Download
Document finderUvA-Linker