Titlebook: Logic, Rationality, and Interaction; 6th International Wo Alexandru Baltag,Jeremy Seligman,Tomoyuki Yamada Conference proceedings 2017 Spri

Condense

The Stubborn Non-probabilist—‘Negation Incoherence’ and a New Way to Block the Dutch Book ArgumentWe rigorously specify the class of nonprobabilistic agents which are, we argue, immune to the classical Dutch Book argument. We also discuss the notion of expected value used in the argument as well as sketch future research connecting our results to those concerning incoherence measures.

壮观的游行

聚集

Logic, Rationality, and Interaction978-3-662-55665-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

内疚

An Extended First-Order Belnap-Dunn Logic with Classical Negation this logic and prove theorems for syntactically and semantically embedding FBD+ into a Gentzen-type sequent calculus for first-order classical logic. Moreover, we show the cut-elimination theorem for FBD+ and prove the completeness theorems with respect to both valuation and many-valued semantics for FBD+.

脱毛

Stability in Binary Opinion Diffusionudied via techniques from binary aggregation, which directly relate to neighborhood frames. It then characterizes stabilization in terms of such neighborhood structures, and shows how the monotone .-calculus can express relevant properties of them. Finally, it illustrates the scope of these results by applying them to specific diffusion models.

SEMI

Doing Without Naturephic image of .. This generalizes an earlier result from Van Benthem and Pacuit [.] about finite two-player choice models. It further strengthens the link between STIT logic and game theory, because deterministic choice models correspond in a straightforward way to normal game forms, and choice models are generally used to interpret STIT logic.

LEVER

不舒服

记忆

Palpable