Tiago De Lima
发表
Tiago De Lima,
T. Lima,
2014,
J. Log. Comput..
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2011,
J. Log. Comput..
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2012,
Advances in Modal Logic.
Frank Dignum,
Lambèr M. M. Royakkers,
Tiago De Lima,
2008,
NORMAS.
Emiliano Lorini,
Andreas Herzig,
Nicolas Troquard,
2012,
DEON.
Emiliano Lorini,
Andreas Herzig,
Tiago De Lima,
2009,
Synthese.
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2010,
J. Log. Comput..
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2007,
TABLEAUX.
Andreas Herzig,
Tiago De Lima,
A. Herzig,
2014,
ArXiv.
Emiliano Lorini,
Andreas Herzig,
Tiago De Lima,
2009,
DALT.
Tiago De Lima,
T. Lima,
2011,
CLIMA.
Andreas Herzig,
Tiago De Lima,
A. Herzig,
2006,
IBERAMIA-SBIA.
Emiliano Lorini,
Hans van Ditmarsch,
Tiago De Lima,
2010,
LADS.
Frank Dignum,
Lambèr M. M. Royakkers,
Tiago De Lima,
2010,
ECAI.
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2012,
J. Appl. Non Class. Logics.
Emiliano Lorini,
Andreas Herzig,
Tiago De Lima,
2008,
KRAMAS.
Frank Dignum,
Lambèr M. M. Royakkers,
Tiago De Lima,
2009,
AAMAS.
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2007,
AAAI.
Frank Dignum,
Lambèr M. M. Royakkers,
Tiago De Lima,
2010,
Log. J. IGPL.
Andreas Herzig,
Philippe Balbiani,
Alexandru Baltag,
2007,
TARK '07.
Emiliano Lorini,
Hans van Ditmarsch,
Tiago De Lima,
2010,
ECAI.
Andreas Herzig,
Philippe Balbiani,
Alexandru Baltag,
2008,
The Review of Symbolic Logic.