Decidability ofstit theory with a single agent andrefref equivalence
Studia Logica 53 (2):259 - 298 (1994)
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.My notes
Similar books and articles
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.Romà J. Adillon & Ventura Verdú - 2000 - Studia Logica 65 (1):11-30.
A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base.Md Aquil Khan & Mohua Banerjee - 2011 - Journal of Philosophical Logic 40 (5):663-692.
Classifying positive equivalence relations.Claudio Bernardi & Andrea Sorbi - 1983 - Journal of Symbolic Logic 48 (3):529-538.
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Categorical abstract algebraic logic: Equivalent institutions.George Voutsadakis - 2003 - Studia Logica 74 (1-2):275 - 311.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
Busy choice sequences refraining formulas and modalities.Ming Xu - 1995 - Studia Logica 54 (3):267 - 301.
On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
Analytics
Added to PP
2009-01-28
Downloads
42 (#280,429)
6 months
1 (#451,971)
2009-01-28
Downloads
42 (#280,429)
6 months
1 (#451,971)
Historical graph of downloads
Citations of this work
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.
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.
References found in this work
Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
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.
