论文信息 - Busy choice sequences refraining formulas and modalities

Busy choice sequences refraining formulas and modalities

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.

Ming Xu | Ming Xu

[1] Brian F. Chellas. Time and modality in the logic of agency , 1992, Stud Logica.

[2] Krister Segerberg,et al. Getting started: Beginnings in the logic of action , 1992, Stud Logica.

[3] Ming Xu. Doing and refraining from refraining , 1994, J. Philos. Log..

[4] Michael Dummett,et al. Modal Logics Between S4 and S5 , 1967 .

[5] N. Belnap. Before refraining: Concepts for agency , 1991 .

[6] William Tuthill Parry,et al. Modalities in the Survey system of strict implication , 1939, Journal of Symbolic Logic.

[7] Nuel Belnap,et al. The way of the agent , 1992, Stud Logica.

[8] Ming Xu. Decidability ofstit theory with a single agent andRefref Equivalence , 1994, Stud Logica.

[9] N. Belnap. Backwards and Forwards in the Modal Logic of Agency , 1991 .

[10] E. Lemmon,et al. Modal Logics Between S 4 and S 5 , 1959 .