Abstract
The purpose of this paper is to present some results instit theory, a theory of agency proposed by N. Belnap and M. Perloff. We will establish a correspondence between the numbers ofstit modalities and the complexity degrees ofbusy choice sequences in semantic structures, and consequently, a correspondence between the number of modes of actions/inactions instit theory and the complexity degrees ofbusy choice sequences in semantic structures.
Similar content being viewed by others
References
Belnap, N., 1989, 252 Handout 1989. Unpublished manuscript, University of Pittsburgh, Department of Philosophy.
Belnap, N., 1991, ‘Backwards and forwards in the modal logic of agency’Philosophy and phenomenological research 51, 777–807.
Belnap, N., 1991a, ‘Before refraining: concepts for agency’,Erkenntnis 34, 137–169.
Belnap, N. andPerloff, M., 1988, ‘Seeing to it that: a canonical form for agentives’Theoria 54, 175–199.
Belnap, N. andPerloff, M., 1992, ‘The way of the agent’,Studia Logica 51, 463–484.
Belnap, N. andPerloff, M., 1993, ‘In the realm of agents’,Annals of Mathematics and Artificial Intelligence 9, 25–48.
Chellas, B. F., 1992, ‘Time and modality in the logic of agency’,Studia Logica 51, 485–517.
Dummett, M. andLemmon, E. J., 1959, ‘Modal logics between S4 and S5’,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 5, 250–264.
Parry, W. T., 1939, ‘Modalities in the survey system of strict implication’,Journal of Symbolic Logic 4, 137–154.
Perloff, M., 1991, ‘Stit and the language of agency’,Synthese 86, 379–408.
Segerberg, K., 1992, ‘Getting started: beginnings in the logic of action’,Studia Logica 51, 347–378.
Thomason, R. H., 1984, ‘Combination of tense and modality’, inHandbook of Philosophical Logic, vol. II, D. Gabbay and G. Guenthner (eds.), D. Reidel Publishing Company, 135–165.
Xu, M., 1989, ‘Modalities instit theory without theRefref conjecture’. Unpublished manuscript, University of Pittsburgh, Department of Philosophy.
Xu, M., 1994, ‘Doing and refraining from refraining’,Journal of Philosophical Logic 23 621–632.
Xu, M., 1994a, ‘Decidability ofstit theory with a single agent andRefref equivalence’,Studia Logica 53, 259–298.
Xu, M., ‘On the basic logic ofstit with a single agent’,The Journal of Symbolic Logic, forthcoming.
Author information
Authors and Affiliations
Additional information
I would like to give thanks to professor N. Belnap for his special help and encouragement, and to the referees provided by this journal for their helpful suggestions in improving this paper.
Rights and permissions
About this article
Cite this article
Xu, M. Busy choice sequences refraining formulas and modalities. Stud Logica 54, 267–301 (1995). https://doi.org/10.1007/BF01053002
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01053002