Alternative axiomatics and complexity of deliberative STIT theories
Balbiani, Philippe and Herzig, Andreas and Troquard, Nicolas
Abstract:
Bibtex-entry:
@Article{BalbianiHerzigTroquard-JPL08,
author = {Balbiani, Philippe and Herzig, Andreas and Troquard, Nicolas},
title = "{Alternative axiomatics and complexity of deliberative STIT theories}",
journal = {Journal of Philosophical Logic},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
year = {2008},
note = {to appear},
URL = {https://www.irit.fr/~Andreas.Herzig/P/Jpl08.html},
keywords = {STIT theory, axiomatization, decidability, complexity}
}
https://www.irit.fr/~Andreas.Herzig