A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’-Reference-Cited by-同舟云学术

A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’

Published:2008 Issue: Volume: Page:140-154
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Broersen Jan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-70525-3_12

Reference29 articles.

1. Horty, J.: Personal communication (2007)

2. Lecture Notes in Computer Science;J.M. Broersen,2008

3. Herzig, A., Troquard, N.: Knowing How to Play: Uniform Choices in Logics of Agency. In: Weiss, G., Stone, P. (eds.) 5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, pp. 209–216. ACM Press, New York (2006)

4. Broersen, J., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Proceedings Theoretical Aspects Rationality and Knowledge (TARK XI), Brussels

5. Balbiani, P., Gasquet, O., Herzig, A., Schwarzentruber, F., Troquard, N.: Coalition games over Kripke semantics: expressiveness and complexity. In: Dègremont, C., Keiff, L., Rückert, H. (eds.) Festschrift in Honour of Shahid Rahman. College Publications (to appear, 2008)

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DOING WITHOUT ACTION TYPES;The Review of Symbolic Logic;2020-10-21

2. Knowing the price of success;Artificial Intelligence;2020-07

3. Knowing-how under uncertainty;Artificial Intelligence;2019-11

4. Notions of Instrumentality in Agency Logic;Lecture Notes in Computer Science;2018

5. ACTION TYPES IN STIT SEMANTICS;The Review of Symbolic Logic;2017-08-29