3 papers
cs.LO2024
A Computationally Grounded Framework for Cognitive Attitudes (extended version)
Tiago de Lima, Emiliano Lorini, Elise Perrotin +1
We introduce a novel language for reasoning about agents' cognitive attitudes of both epistemic and motivational type. We interpret it by means of a computationally grounded semant…
cs.AI2023
Base-based Model Checking for Multi-Agent Only Believing (long version)
Tiago de Lima, Emiliano Lorini, François Schwarzentruber
We present a novel semantics for the language of multi-agent only believing exploiting belief bases, and show how to use it for automatically checking formulas of this language and…
cs.LO2014
Tableaux for Dynamic Logic of Propositional Assignments
Tiago de Lima, Andreas Herzig
The Dynamic Logic for Propositional Assignments (DL-PA) has recently been studied as an alternative to Propositional Dynamic Logic (PDL). In DL-PA, the abstract atomic programs of…