Busy choice sequences refraining formulas and modalities

Studia Logica 54 (3):267 - 301 (1995)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A theory of probability.T. V. Reeves - 1988 - British Journal for the Philosophy of Science 39 (2):161-182.
Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
God, Modalities, and Conceptualism.Amy Karofsky - 2003 - Philosophy and Theology 15 (2):257-271.
Informal theory of choice sequences.A. S. Troelstra - 1969 - Studia Logica 25 (1):31 - 54.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Doing and refraining from refraining.Ming Xu - 1994 - Journal of Philosophical Logic 23 (6):621 - 632.

Analytics

Added to PP
2009-01-28

Downloads
40 (#398,809)

6 months
5 (#641,756)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ming Xu
Wuhan University

Citations of this work

Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.
Obligation and the conditional in stit theory.Kevin Davey - 2002 - Studia Logica 72 (3):339-362.

View all 7 citations / Add more citations

References found in this work

Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
Time and modality in the logic of agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.

View all 14 references / Add more references