Decidability ofstit theory with a single agent andrefref equivalence

Studia Logica 53 (2):259 - 298 (1994)
  Copy   BIBTEX

Abstract

The purpose of this paper is to prove the decidability ofstit theory (a logic of seeing to it that) with a single agent andRefref Equivalence. This result is obtained through an axiomatization of the theory and a proof that it has thefinite model property. A notion ofcompanions to stit formulas is introduced and extensively used in the proof.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,391

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
42 (#280,429)

6 months
1 (#451,971)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.

View all 7 citations / Add more citations

References found in this work

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.
The way of the agent.Nuel Belnap & Michael Perloff - 1992 - Studia Logica 51 (3-4):463 - 484.

View all 6 references / Add more references