A History Based Logic for Dynamic Preference Updates

Guy McCusker, Can Baskent

Research output: Contribution to journalArticlepeer-review

14 Downloads (Pure)


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
Publication statusPublished - 12 Nov 2019


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

ASJC Scopus subject areas

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


Dive into the research topics of 'A History Based Logic for Dynamic Preference Updates'. Together they form a unique fingerprint.

Cite this