책 이미지
책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783642048920
· 쪽수 : 329쪽
· 출판일 : 2009-09-23
목차
Contributed Papers.- Expressing Properties of Coalitional Ability under Resource Bounds.- Dynamic Context Logic.- Toward a Dynamic Logic of Questions.- A General Family of Preferential Belief Removal Operators.- Computing Compliance.- Attributing Distributed Responsibility in Stit Logic.- Characterizations of Iterated Admissibility Based on PEGL.- Can Doxastic Agents Learn? On the Temporal Structure of Learning.- Agreement Theorems in Dynamic-Epistemic Logic.- Learning and Teaching as a Game: A Sabotage Approach.- First-Order Logic Formalisation of Arrow's Theorem.- Twelve Angry Men: A Study on the Fine-Grain of Announcements.- Dynamic Testimonial Logic.- From the Logical Point of View: The Chain Store Paradox Revisited.- A Cooperation Logic for Declaration Structures.- Intentions and Assignments.- Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together.- Dynamic Epistemic Logic of Finite Identification.- An Epistemic Logic for Planning with Trials.- Obligations in a Responsible World.- Dynamic Epistemic Temporal Logic.- Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic.- An Update Operator for Strategic Ability.- Strategy Elimination in Games with Interaction Structures.- Posters.- The Logic of Knowledge-Based Cooperation in the Social Dilemma.- Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction.- Oppositional Logic.- Deliberate Contrary-to-Law Action.- Mono-Agent Dynamics.- Modal Expressivity and Definability over Sets.- Dynamic Logics for Explicit and Implicit Information.- Existence of Satisfied Alternative and the Occurring of Morph-Dictator.














