Busy choice sequences refraining formulas and modalities
M Xu - Studia logica, 1995 - Springer
M Xu
Studia logica, 1995•SpringerThe purpose of this paper is to present some results in stit theory, a theory of agency
proposed by N. Belnap and M. Perloff. We will establish a correspondence between the
numbers of stit modalities and the complexity degrees of busy choice sequences in semantic
structures, and consequently, a correspondence between the number of modes of
actions/inactions in stit theory and the complexity degrees of busy choice sequences in
semantic structures.
proposed by N. Belnap and M. Perloff. We will establish a correspondence between the
numbers of stit modalities and the complexity degrees of busy choice sequences in semantic
structures, and consequently, a correspondence between the number of modes of
actions/inactions in stit theory and the complexity degrees of busy choice sequences in
semantic structures.
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.
Springer
Showing the best result for this search. See all results