On the Basic Logic of STIT with a Single Agent

Xu, Ming

Xu, Ming

J. Symbolic Logic, Tome 60 (1995) no. 1, p. 459-483 / Harvested from Project Euclid

Résumé

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.

Publié le : 1995-06-14
Classification:

@article{1183744747,
     author = {Xu, Ming},
     title = {On the Basic Logic of STIT with a Single Agent},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 459-483},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744747}
}

Xu, Ming. On the Basic Logic of STIT with a Single Agent. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  459-483. http://gdmltest.u-ga.fr/item/1183744747/