A History Based Logic for Dynamic Preference Updates

Guy McCusker, Can Baskent

Research output: Contribution to journalArticle

Abstract

History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework.
Original languageEnglish
Pages (from-to)1-31
Number of pages31
JournalJournal of Logic, Language and Information
DOIs
Publication statusPublished - 12 Nov 2019

Keywords

  • Arrow update logic
  • Dynamic logic
  • History based models
  • Preference logic
  • Product update models

ASJC Scopus subject areas

  • Computer Science (miscellaneous)
  • Philosophy
  • Linguistics and Language

Cite this