Tiago de Lima

Available identifiers

Publication	Date of Publication	Type
Base-based model checking for multi-agent only believing	2024-05-29	Paper
An assumption-based approach for solving the minimal S5-satisfiability problem	2018-10-18	Paper
Public announcements, public assignments and the complexity of their logic	2018-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4576236	2018-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2973442	2017-04-03	Paper
Private Expansion and Revision in Multi-agent Settings	2015-11-10	Paper
Three Traditions in the Logic of Action: Bringing them Together	2015-04-10	Paper
Alternating-time temporal dynamic epistemic logic	2015-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5419869	2014-06-11	Paper
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions	2012-11-02	Paper
Alternating-Time Temporal Announcement Logic	2011-09-16	Paper
From Situation Calculus to Dynamic Epistemic Logic	2011-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2999111	2011-05-11	Paper
‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’	2010-08-13	Paper
On the dynamics of institutional agreements	2010-05-10	Paper
A logic for reasoning about responsibility	2010-04-08	Paper
Tableaux for Public Announcement Logic	2010-02-19	Paper
Tableaux for acceptance logic	2010-02-02	Paper
On the Dynamics of Institutional Agreements	2009-11-12	Paper
A Tableau Method for Public Announcement Logics	2008-01-04	Paper

This page was built for person: Tiago de Lima