Uncompactness of Stit Logics Containing Generalized Refref Conditionals

Notre Dame Journal of Formal Logic 39 (4):485-506 (1998)
  Copy   BIBTEX


In this paper we prove the uncompactness of every stit logic that contains a generalized refref conditional and is a sublogic of the stit logic with refref equivalence, a syntactical condition of uncompactness that covers infinitely many stit logics. This result is established through the uncompactness of every stit logic whose semantic structures contain no chain of busy choice sequences with cardinality , where is any natural number . The basic idea in the proof is to apply the notion of companions to stit sentences in finding busy choice sequences in structures, and to make use of a relation between chains of busy choice sequences and generalized refref conditionals in connecting the two conditions of uncompactness mentioned above



    Upload a copy of this work     Papers currently archived: 93,031

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

On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
An Investigation in the Logics of Seeing-to-It-That.Ming Xu - 1996 - Dissertation, University of Pittsburgh
Doing and refraining from refraining.Ming Xu - 1994 - Journal of Philosophical Logic 23 (6):621 - 632.
A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Springer. pp. 340-354.
Complexity Results of STIT Fragments.François Schwarzentruber - 2012 - Studia Logica 100 (5):1001-1045.
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.


Added to PP

71 (#236,511)

6 months
19 (#145,313)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ming Xu
Wuhan University

Citations of this work

No citations found.

Add more citations

References found in this work

Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
On the logic of ability.Mark A. Brown - 1988 - Journal of Philosophical Logic 17 (1):1 - 26.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.

View all 26 references / Add more references