- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Busy choice sequences refraining formulas and modalities
Studia Logica 54 (3):267 - 301 (1995)
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.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.
The ω-Turing degrees.Andrey C. Sariev & Hristo Ganchev - 2014 - Annals of Pure and Applied Logic 165 (9):1512-1532.
An Investigation in the Logics of Seeing-to-It-That.Ming Xu - 1996 - Dissertation, University of Pittsburgh
A Classical Modal Theory of Lawless Sequences.Ethan Brauer - 2023 - Bulletin of Symbolic Logic 29 (3):406-452.
Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum.Mark Atten, Dirk Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
Analytics
Added to PP
2009-01-28
Downloads
50 (#437,047)
6 months
8 (#580,966)
2009-01-28
Downloads
50 (#437,047)
6 months
8 (#580,966)
Historical graph of downloads
Author's Profile
Citations of this work
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.
References found in this work
Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
Getting started: Beginnings in the logic of action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.
Time and modality in the logic of agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
Backwards and forwards in the modal logic of agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-559df78dcc-g6qm9 uwo