DMCA
Changing Preferences (1995)
| Citations: | 11 - 6 self |
BibTeX
@MISC{Benthem95changingpreferences,
author = {Johan Van Benthem and Jan van Eijck and Alla Frolova},
title = {Changing Preferences},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract This is an exploratory document for a new research line in logical semantics which is emerging from several current developments in computer science. Standard logic employs 'flat' unstructured sets of statements for its theories and unstructured classes of models for its semantic universes. Nowadays, however, there is an incipient literature on structured universes of models as well as structured theories, both employing 'preference relations' of some sort. The purpose of this brief report is (1) to propose a more systematic framework for this trend, while also connecting it up with some historical predecessors, (2) to design some new logical systems bringing preferences out explicitly, thereby high-lighting the theoretical properties of 'preferential reasoning' while raising some new kinds of technical question for further research, and (3) to link up with some current computational ideas (emerging also in the field of linguistics), by bringing in the general dynamic logic o...
Keyphrases
incipient literature structured universe exploratory document brief report several current development new kind general dynamic logic systematic framework new research line unstructured class logical semantics computer science preference relation theoretical property semantic universe unstructured set structured theory standard logic employ technical question current computational idea new logical system historical predecessor
