Qualitative action theory: A comparison of the semantics of alternating-time temporal logic and the Kutschera-Belnap approach to agency

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 70-81

  Wölfl, Stefan ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; GAME THEORY; MATHEMATICAL MODELS; SEMANTICS; SET THEORY; TREES (MATHEMATICS); ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; MANY VALUED LOGICS; PHILOSOPHICAL ASPECTS; TEMPORAL LOGIC;

COMPUTATIONAL TREE LOGIC (CTL); MUTUAL DEPENDENCIES; QUALITATIVE ACTION THEORY; TEMPORAL LOGIC;

FORMAL LOGIC;

ALTERNATING TIME TEMPORAL LOGIC; COMPUTATIONAL TREE LOGIC; FORMAL REPRESENTATIONS; METRIC EVALUATION; MUTUAL DEPENDENCIES; QUALITATIVE ACTION THEORY; QUALITATIVE APPROACH; SYSTEMATIC ANALYSIS;

EID: 23044456226     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_9     Document Type: Conference Paper

References (24)

1. Alur, R., Henzinger, T. A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th Symposium on Foundations of Computer Science. (1997)
2. Alur, R., Henzinger, T. A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM (JACM) 49 (2002) 672-713
3. Åqvist, L.: A new approach to the logical theory of actions and causality. In Stenlund, S., ed.: Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday. D. Reidel, Dordrecht (1974) 73-91
4. Belnap, N. D.: Backwards and forwards in the modal logic of agency. Philosophy and Phenomenological Research 51 (1991) 777-807
5. Belnap, N. D.: Before refraining: Concepts for agency. Erkenntnis 34 (1991) 137-169
6. Belnap, N. D., Perloff, M.: Seeing to it that: A canonical form for agentives. In Kyburg, Jr., H. E., Loui, R. P., Carlson, G. N., eds.: Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publisher, Dordrecht (1990) 175-199
7. Belnap, N. D., Perloff, M.: The way of the agent. Studia Logica 51 (1992) 463-484
8. Belnap, N., Perloff, M.: In the realm of agents. Annals of Mathematics and Artificial Intelligence 9 (1993) 25-48
9. Belnap, N. D., Perloff, M., Xu, M.: Facing the Future: Agents and their Choices in our Indeterminist World. Oxford University Press, New York (2001)
10. Chellas, B. F.: Time and modality in the logic of agency. Studia Logica 51 (1992) 485-517
11. Goranko, V.: Coalition games and alternating temporal logic. In: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), Morgan Kaufmann (2001) 259-272
12. Horty, J. F., Belnap, N. D.: The deliberative stit: A study of action, omission, ability, and obligation. Journal of Philosophical Logic 24 (1995) 583-644
13. Kutschera, F.v.: Grundbegriffe der Handlungslogik. In Lenk, H., ed.: Handlungstheorien interdisziplinär I. Fink, München (1980) 67-106
14. Kutschera, F.v.: Bewirken. Erkenntnis 24 (1986) 253-281
15. Pauly, M.: A modal logic for coalition power in games. Journal of Logic and Computation (2000)
16. Pauly, M.: A logical framework for coalitional effectivity in dynamic procedures. In: Proceedings in the 4th Conference on Logic and the Foundations of Game and Decision Theory (LOFT4), Torino (2000)
17. Wölfl, S.: Propositional Q-logic. Journal of Philosophical Logic 31 (2002) 387-414
18. Wölfl, S.: Review of Nuel Belnap, Michael Perloff, and Ming Xu's Facing the Future. Notre Dame Philosophical Reviews (2002). Published at: http://ndpr/icaap.org/content/archives/2002/8/wolfl-belnap.html.
19. Xu, M.: Decidability of stit theory with a single agent and refref equivalence. Studia Logica 53 (1994) 259-298
20. Xu, M.: Doing and refraining from refraining. Journal of Philosophical Logic 23 (1994) 621-632
21. Xu, M.: Decidability of deliberative stit theories with multiple agents. In Gabbay, D. M., Ohlbach, H. J., eds.: Temporal Logic, Berlin, Springer (1994) 332-348 Lecture Notes in Artificial Intelligence: 827.
22. Xu, M.: Busy choice sequences, refraining formulas, and modalities. Studia Logica 54 (1995) 267-301
23. Xu, M.: On the basic logic of stit with a single agent. Journal of Symbolic Logic 60 (1995) 459-483
24. Xu, M.: Axioms for deliberative stit. Journal of Philosophical Logic 27 (1998) 505-552