default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. LORI 2009: Chongqing, China
- Xiangdong He, John F. Horty, Eric Pacuit:
Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings. Lecture Notes in Computer Science 5834, Springer 2009, ISBN 978-3-642-04892-0
Contributed Papers
- Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
:
Expressing Properties of Coalitional Ability under Resource Bounds. 1-14 - Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini:
Dynamic Context Logic. 15-26 - Johan van Benthem, Stefan Minica:
Toward a Dynamic Logic of Questions. 27-41 - Richard Booth, Thomas Andreas Meyer, Chattrakul Sombattheera:
A General Family of Preferential Belief Removal Operators. 42-54 - Ivano Ciardelli, Irma Cornelisse, Jeroen Groenendijk, Floris Roelofsen:
Computing Compliance. 55-65 - Roberto Ciuni, Rosja Mastop:
Attributing Distributed Responsibility in Stit Logic. 66-75 - Jianying Cui, Meiyun Guo, Xiaojia Tang:
Characterizations of Iterated Admissibility Based on PEGL. 76-89 - Cédric Dégremont, Nina Gierasimczuk:
Can Doxastic Agents Learn? On the Temporal Structure of Learning. 90-104 - Cédric Dégremont, Olivier Roy:
Agreement Theorems in Dynamic-Epistemic Logic. 105-118 - Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada:
Learning and Teaching as a Game: A Sabotage Approach. 119-132 - Umberto Grandi, Ulle Endriss:
First-Order Logic Formalisation of Arrow's Theorem. 133-146 - Davide Grossi, Fernando R. Velázquez-Quesada:
Twelve Angry Men: A Study on the Fine-Grain of Announcements. 147-160 - Wesley H. Holliday:
Dynamic Testimonial Logic. 161-179 - Li Li, Robert C. Koons, Jianjun Zhang:
From the Logical Point of View: The Chain Store Paradox Revisited. 180-188 - Hu Liu:
A Cooperation Logic for Declaration Structures. 189-197 - Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer:
Intentions and Assignments. 198-211 - Emiliano Lorini, François Schwarzentruber, Andreas Herzig:
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. 212-226 - Minghui Ma:
Dynamic Epistemic Logic of Finite Identification. 227-237 - Rajdeep Niyogi, Ramaswamy Ramanujam:
An Epistemic Logic for Planning with Trials. 238-250 - Loes Olde Loohuis:
Obligations in a Responsible World. 251-262 - Bryan Renne, Joshua Sack, Audrey Yap:
Dynamic Epistemic Temporal Logic. 263-277 - Satoru Suzuki:
Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic. 278-291 - Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer:
An Update Operator for Strategic Ability. 292-301 - Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper:
Strategy Elimination in Games with Interaction Structures. 302-315
Posters
- Xiaohong Cui:
The Logic of Knowledge-Based Cooperation in the Social Dilemma. 316 - Cédric Dégremont, Lena Kurzen:
Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction. 317-318 - Guoping Du, Hongguang Wang, Jie Shen:
Oppositional Logic. 319 - Qing Jia:
Deliberate Contrary-to-Law Action. 320 - Sebastian Sequoiah-Grayson:
Mono-Agent Dynamics. 321-322 - Jing Shi:
Modal Expressivity and Definability over Sets. 323-324 - Fernando R. Velázquez-Quesada:
Dynamic Logics for Explicit and Implicit Information. 325-326 - Zhiyuan Wang:
Existence of Satisfied Alternative and the Occurring of Morph-Dictator. 327-328
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-19 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
