Titlebook: Logic, Rationality, and Interaction; 5th International Wo Wiebe van der Hoek,Wesley H. Holliday,Wen-fang Wan Conference proceedings 2015 Sp

地名詞典

addition

縮影

全部逛商店

鉗子

Figate

Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention,n which e.g. a voting round is non-null if and only if a ‘large set’ of voters actually participate in the vote. In the present setting, Arrow’s impossibility theorem also covers ‘elections with only two candidates’.

最有利

,A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation,e a sound and complete axiomatization and prove that the satisfiability problem is .-complete. Finally, we show how public and private announcements can be expressed and illustrate the latter by the gossip spreading problem.

打擊

Diastole

晚間

,Informational Dynamics of ‘Might’ Assertions,ed doxastic state. We then propose a fully general and intuitive doxastic update operation as a model of an agent coming to accept an arbitrary assertion. We provide reduction axioms for some novel update operations related to this proposal.