On the basic logic of STIT with a single agent

Journal of Symbolic Logic 60 (2):459-483 (1995)
  Copy   BIBTEX

Abstract

We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea of the proof is to apply the notion of companion sets--the same notion as used in another paper by the author that showed the decidability of stit theory with a single agent and Refref equivalence

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

Making a Start with the stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.
Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Stit and the language of agency.Michael Perloff - 1991 - Synthese 86 (3):379 - 408.
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.

Analytics

Added to PP
2009-01-28

Downloads
84 (#182,906)

6 months
5 (#244,107)

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.
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
The Logic of Action and Control.Leona Mollica - 2023 - Journal of Philosophical Logic 52 (5):1237-1268.
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.
Anselm’s Logic of Agency.Sara L. Uckelman - 2009 - History of Philosophy & Logical Analysis 12 (1):248-268.

View all 9 citations / Add more citations

References found in this work

Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
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