Epistemic Actions and Ontic Actions: A Unified Logical Framework. - Andreas Herzig; Tiago de Lima (IBERAMIA-SBIA, 2006)

Optimal Regression for Reasoning about Knowledge and Actions. - Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (AAAI, 2007)

A Tableau Method for Public Announcement Logics. - Philippe Balbiani; Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (TABLEAUX, 2007)

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. - Philippe Balbiani; Alexandru Baltag; Hans van Ditmarsch; Andreas Herzig; Tomohiro Hoshi; Tiago de Lima (TARK, 2007)

Towards a Formalization of Responsibility. - Tiago de Lima; Lambèr M. M. Royakkers; Frank Dignum (NORMAS, 2008)

'Knowable' as 'known after an announcement'. - Philippe Balbiani; Alexandru Baltag; Hans van Ditmarsch; Andreas Herzig; Tomohiro Hoshi; Tiago de Lima (Rev. Symb. Log., 2008)

Behaving responsible in multi-agent worlds. - Tiago de Lima; Lambèr M. M. Royakkers; Frank Dignum (AAMAS (2), 2009)

Tableaux for Acceptance Logic. - Mathijs de Boer; Andreas Herzig; Tiago de Lima; Emiliano Lorini (DALT, 2009)

On the dynamics of institutional agreements. - Andreas Herzig; Tiago de Lima; Emiliano Lorini (Synth., 2009)

Modeling the problem of many hands in organisations. - Tiago de Lima; Lambèr M. M. Royakkers; Frank Dignum (ECAI, 2010)

A Logical Model of Intention and Plan Dynamics. - Emiliano Lorini; Hans van Ditmarsch; Tiago de Lima (ECAI, 2010)

Intention Change via Local Assignments. - Hans van Ditmarsch; Tiago de Lima; Emiliano Lorini (LADS, 2010)

A logic for reasoning about responsibility. - Tiago de Lima; Lambèr M. M. Royakkers; Frank Dignum (Log. J. IGPL, 2010)

Tableaux for Public Announcement Logic. - Philippe Balbiani; Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (J. Log. Comput., 2010)

Alternating-Time Temporal Announcement Logic. - Tiago de Lima (CLIMA, 2011)

From Situation Calculus to Dynamic Epistemic Logic. - Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (J. Log. Comput., 2011)

Some Truths Are Best Left Unsaid. - Philippe Balbiani; Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (Advances in Modal Logic, 2012)

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. - Andreas Herzig; Tiago de Lima; Emiliano Lorini; Nicolas Troquard (DEON, 2012)

Public announcements, public assignments and the complexity of their logic. - Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (J. Appl. Non Class. Logics, 2012)

Tableaux for Dynamic Logic of Propositional Assignments. - Tiago de Lima; Andreas Herzig (CoRR, 2014)

Alternating-time temporal dynamic epistemic logic. - Tiago de Lima (J. Log. Comput., 2014)

Private Revision in a Multi-Agent Setting. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (AAMAS, 2015)

Private Expansion and Revision in Multi-agent Settings. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (ECSQARU, 2015)

On Checking Kripke Models for Modal Logic K. - Jean-Marie Lagniez; Daniel Le Berre; Tiago de Lima; Valentin Montmirail (PAAR@IJCAR, 2016)

On Distances Between KD45n Kripke Models and Their Use for Belief Revision. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (ECAI, 2016)

A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem. - Thomas Caridroit; Jean-Marie Lagniez; Daniel Le Berre; Tiago de Lima; Valentin Montmirail (AAAI, 2017)

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. - Jean-Marie Lagniez; Daniel Le Berre; Tiago de Lima; Valentin Montmirail (IJCAI, 2017)

An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. - Jean-Marie Lagniez; Daniel Le Berre; Tiago de Lima; Valentin Montmirail (IJCAR, 2018)

A SAT-Based Approach For PSPACE Modal Logics. - Jean-Marie Lagniez; Daniel Le Berre; Tiago de Lima; Valentin Montmirail (KR, 2018)

A Little about Action, Knowledge, Belief and a Lot about Modal Logic. (Un peu d'action, connaissance, croyance et beaucoup de logique modale). - Tiago de Lima (2019)

Intention et logique épistémique dynamique. - Alix Goudyme; Nathalie Chetcuti-Sperandio; Sylvain Lagrue; Tiago de Lima (RJCIA, 2019)

First Steps for Determining Agent Intention in Dynamic Epistemic Logic. - Nathalie Chetcuti-Sperandio; Alix Goudyme; Sylvain Lagrue; Tiago de Lima (ICAART (2), 2020)

Checking Agent Intentions in Games. - Nathalie Chetcuti-Sperandio; Alix Goudyme; Sylvain Lagrue; Tiago de Lima (ICTAI, 2021)

Base-Based Model Checking for Multi-agent only Believing. - Tiago de Lima; Emiliano Lorini; François Schwarzentruber (JELIA, 2023)

Base-based Model Checking for Multi-Agent Only Believing (long version). - Tiago de Lima; Emiliano Lorini; François Schwarzentruber (CoRR, 2023)

Model Checking Causality. - Tiago de Lima; Emiliano Lorini (IJCAI, 2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version). - Tiago de Lima; Emiliano Lorini; Elise Perrotin; François Schwarzentruber (CoRR, 2024)

A Computationally Grounded Framework for Cognitive Attitudes. - Tiago de Lima; Emiliano Lorini; Elise Perrotin; François Schwarzentruber (AAAI, 2025)