Propositional Q-logic

Journal of Philosophical Logic

Volumn 31, Issue 5, 2002, Pages 387-414

  Wölfl, Stefan ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

Agency; Branching histories; Completeness; Stit

Indexed keywords

EID: 23044489198     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1020163602542     Document Type: Article

References (25)

1. Belnap, N. D.: 1991a, Backwards and forwards in the modal logic of agency, Philos. Phenomen. Res. 51, 777-807.
2. Belnap, N. D.: 1991b, Before refraining: Concepts for agency, Erkenntnis 34, 137-169.
3. Belnap, N. D. and Perloff, M.: 1990, Seeing to it that: A canonical form for agentives, in H. E. Kyburg, Jr., R. P. Loui, and G. N. Carlson (eds.), Knowledge Representation and Defeasible Reasoning, Kluwer Academic Publishers, Dordrecht, pp. 175-199.
4. Belnap, N. D. and Perloff, M.: 1992, The way of the agent, Studia Logica 51, 463-484.
5. Belnap, N. D., Perloff, M. and Xu, M.: 2001, Facing the Future: Agents and their Choices in our Indeterminist World, Oxford University Press, New York.
6. Chellas, B. F.: 1992, Time and modality in the logic of agency, Studia Logica 51, 485-517.
7. de Rijke, M.: 1992, The modal logic of inequality, J. Symbolic Logic 57(2), 566-584.
8. Gabbay, D. M., Hodkinson, I. and Reynolds M.: 1994, Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. I, Oxford Logic Guides 28, Clarendon Press, Oxford.
9. Gargov, G. and Goranko, V: 1993, Modal logic with names, J. Philos. Logic 22, 607-636.
10. Horty, J. F.: 2001, Agency and Deontic Logic, Oxford University Press, Oxford.
11. Horty, J. F. and Belnap, N. D.: 1995, The deliberative stit: A study of action, omission, ability, and obligation, J. Philos. Logic 24, 583-644.
12. Kutschera, F. v.: 1986, Bewirken, Erkenntnis 24, 253-281.
13. Kutschera, F. v.: 1997, T x W-completeness, J. Philos. Logic 26, 241-250.
14. Maio, M. C. D. and Zanardo, A.: 1994, Synchronized histories in Prior-Thomason representation of branching time, in D. M. Gabbay and H. J. Ohlbach (eds.), Proceedings of the First International Conference on Temporal Logic, ICTL '94, Lecture Notes in Artificial Intelligence 827, Springer-Verlag, Berlin, pp. 265-282.
15. Maio, M. C. D. and Zanardo, A.: 1998, A Gabbay-rule free axiomatization of TxW validity, J. Philos. Logic 27, 435-487.
16. Reynolds, M.: 2001, An axiomatization of full computation tree logic, J. Symbolic Logic 66(3), 1011-1057.
17. Thomason, R. H.: 1984, Combinations of tense and modality, in D. M. Gabbay and R Guenthner (eds.), Handbook of Philosophical Logic: Extensions of Classical Logic, Vol. II, D. Reidel, Dordrecht, pp. 135-165.
18. Wölfl, S.: 1999a, Combinations of tense and modality for predicate logic, J. Philos. Logic 28, 371-398.
19. Wölfl, S.: 1999b, Kombinierte Zeit- und Modallogik: Vollständigkeitsresultate für prädikatenlogische Sprachen, Logische Philosophie 5, Logos Verlag, Berlin.
20. Xu, M.: 1994a, Decidability of stit theory with a single agent and refref equivalence, Studia Logica 53(2), 259-298.
21. Xu, M.: 1994b, Decidability of deliberative stit theories with multiple agents, in D. M. Gabbay and H. J. Ohlbach (eds.), Temporal Logic, Springer, Berlin, pp. 332-348.
22. Xu, M.: 1994c, Doing and refraining from refraining, J. Philos. Logic 23(6), 621-632.
23. Xu, M.: 1995a, Busy choice sequences, refraining formulas, and modalities, Studia Logica 54(3), 267-301.
24. Xu, M.: 1995b, On the basic logic of stit with a single agent, J. Symbolic Logic 60(2), 459-483.
25. Xu, M.: 1998, Axioms for deliberative stit, J. Philos. Logic 27(5), 505-552.