Tiago de Lima

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal of Applied Non-Classical Logics	2018-08-28	Paper
On distances between KD45\(_n\) Kripke models and their use for belief revision	2018-07-12	Paper
A soundness and completeness proof on dialogs and dynamic epistemic logic	2017-04-03	Paper
Private expansion and revision in multi-agent settings Lecture Notes in Computer Science	2015-11-10	Paper
Three traditions in the logic of action: bringing them together Outstanding Contributions to Logic	2015-04-10	Paper
Alternating-time temporal dynamic epistemic logic Journal Of Logic And Computation	2015-01-19	Paper
Some truths are best left unsaid	2014-06-11	Paper
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions Lecture Notes in Computer Science	2012-11-02	Paper
Alternating-time temporal announcement logic Lecture Notes in Computer Science	2011-09-16	Paper
From Situation Calculus to Dynamic Epistemic Logic Journal Of Logic And Computation	2011-06-10	Paper
Modeling the problem of many hands in organisations	2011-05-11	Paper
`Knowable' as `known after an announcement' The Review of Symbolic Logic	2010-08-13	Paper
On the dynamics of institutional agreements Synthese	2010-05-10	Paper
A logic for reasoning about responsibility Logic Journal of the IGPL	2010-04-08	Paper
Tableaux for Public Announcement Logic Journal Of Logic And Computation	2010-02-19	Paper
Tableaux for acceptance logic Declarative Agent Languages and Technologies VII	2010-02-02	Paper
On the Dynamics of Institutional Agreements Lecture Notes in Computer Science	2009-11-12	Paper
A Tableau Method for Public Announcement Logics Lecture Notes in Computer Science	2008-01-04	Paper

Research outcomes over time

This page was built for person: Tiago de Lima