Alternative axiomatics and complexity of deliberative STIT theories

Balbiani, Philippe and Herzig, Andreas and Troquard, Nicolas


Abstract:


PDF


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