Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings

A Deontic Stit Logic Based on Beliefs and Expected Utility

“…This means that probability theory's typical definition of conditional probability in terms of a classical-probability function is a special instance of a vf-function. 2 There have been various attempts to deal with the problem of conditioning on events of measure 0. The best known methods involve (1) conditional-probability spaces ( [31], [32], [14], [38], [6], [17]), (2) nonstandard probability spaces ( [33], [19], [26]), where events with infinitesimally small probability may still be learned or observed, and (3) lexicographic probability systems ( [18]), which use sequences of probability measures with a descending order of importance.…”

“…Additionally, the following axioms that regard revision are also valid: 4 Why account for belief revision? Well, in [18] Halpern argues that belief revision plays a critical role in the analysis of strategic reasoning in extensive-form games, and since the stit semantics for agency over branching-time structures can adopt most ideas of the theory of extensive-form games (see [23,Chapter 7], [15], and [2]), we believe that stit theory should also benefit from an account of conditional belief and of belief revision. There is a common idea that if a formalization of the temporal evolution of a game incorporates the assumption that players can change their beliefs about the game as it progresses due to some flow of information-for instance by drawing conclusions from opponent's moves-then the analysis of interactive situations becomes much richer ( [9]).…”

“…Since we want to incorporate to stit theory a paradigm of belief that allows for revision, we follow the method of [6] and use conditional probability as primitive. 2 Therefore, we build conditional-probability spaces upon the branching-time structures from Definition 3. To simplify the terminology-and just as done in [6]-we focus on finite discrete structures, for which every subset is measurable with respect to special two-place probability functions mapping pairs of subsets to values in [0, 1].…”

Negative Image Formation in Brazilian Political Discourse

“…This study is predicated upon empirical materials, which take a stand against Bolsonaro, tackles certain topics sensitive for Brazilian society, and contributes to further research into the linguo-cultural aspects of language expression. Moreover, the research is conducted within the scope of the post knowledge method, which is applied in logic dynamics (Abarca & Broersen, 2019). This method provides an opportunity to estimate the success of application of different linguistic means.…”