2 papers
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…