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: 76,419

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.
Modeling generalized implicatures using non-monotonic logics.Jacques Wainer - 2007 - Journal of Logic, Language and Information 16 (2):195-216.
Subjunctive biscuit and stand-off conditionals.Eric Swanson - 2013 - Philosophical Studies 163 (3):637-648.
Conditionals and consequences.Gregory Wheeler, Henry E. Kyburg & Choh Man Teng - 2007 - Journal of Applied Logic 5 (4):638-650.
Stit and the language of agency.Michael Perloff - 1991 - Synthese 86 (3):379 - 408.
A relevant theory of conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.


Added to PP

49 (#241,539)

6 months
1 (#452,962)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Past, Present and Future.Arthur N. Prior - 1967 - Oxford University Press.
On the logic of ability.Mark A. Brown - 1988 - Journal of Philosophical Logic 17 (1):1 - 26.

View all 26 references / Add more references