Titlebook: Logic, Rationality, and Interaction; 4th International Wo Davide Grossi,Olivier Roy,Huaxin Huang Conference proceedings 2013 Springer-Verla

煉油廠

本土

ingestion

Conference proceedings 2013rogram and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.

表狀態(tài)

弄皺

值得

Explicit and Implicit Knowledge in Neighbourhood Modelsantecedent does not need to be implicitly known; we discuss why this is the case. Then a modus ponens operation is defined, and it is shown how it satisfies a third ‘intuitive’ property: if the agent knows explicitly an implication and its antecedent, then after a modus ponens step she will know explicitly the consequent.

Anemia

Boolean Games with Epistemic Goalsoal, defined as a formula of modal epistemic logic. Using such a language for goals allows us to explicitly and compactly represent desirable epistemic states. After motivating and formally defining epistemic Boolean games as a concise representation of epistemic Kripke structures, we investigate their complexity and study their properties.

故意釣到白楊

The Topology of Belief, Belief Revision and Defeasible Knowledgelysis of knowledge [18]: topological knowledge coincides with undefeated true belief. Finally, we compare our semantics to the older topological interpretation of belief in terms of Cantor derivative [23].

凹處

A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpointthe rationale of these iterated eliminating algorithms. In addition, to clarify the proof-theoretic principles assumed in players’ reasoning, we also develop an axiomatic presentation for our results.

形上升才刺激