Search Results - subject:"selection function"

A modal logic translation of the AGM axioms for belief revision

Bonanno, Giacomo - 2025

Building on the analysis of Bonanno (2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator B, a bimodal conditional operator and the unimodal global operator □. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The...

Persistent link: https://www.econbiz.de/10015405161

A Kripke-Stalnaker-Lewis semantics for AGM belief revision

Bonanno, Giacomo - 2023

and a Stalnaker-Lewis selection function. Adding a valuation to a frame yields a model. Given a model, we identify the …

Persistent link: https://www.econbiz.de/10014474493

A Kripke-Lewis semantics for belief update and belief revision

Bonanno, Giacomo - 2023

consider frames consisting of a set of states, a Kripke belief relation and a Lewis selection function. Adding a valuation to a …

Persistent link: https://www.econbiz.de/10014474494

A Kripke-Stalnaker-Lewis semantics for AGM belief revision

Bonanno, Giacomo - 2023

and a Stalnaker-Lewis selection function. Adding a valuation to a frame yields a model. Given a model, we identify the …

Persistent link: https://www.econbiz.de/10013554813

A Kripke-Lewis semantics for belief update and belief revision

Bonanno, Giacomo - 2023

consider frames consisting of a set of states, a Kripke belief relation and a Lewis selection function. Adding a valuation to a …

Persistent link: https://www.econbiz.de/10014422285