Picture for Tiago de Lima

Tiago de Lima

Base-based Model Checking for Multi-Agent Only Believing

Add code
Jul 27, 2023
Viaarxiv icon

Tableaux for Dynamic Logic of Propositional Assignments

Add code
Jun 09, 2014
Figure 1 for Tableaux for Dynamic Logic of Propositional Assignments
Figure 2 for Tableaux for Dynamic Logic of Propositional Assignments
Figure 3 for Tableaux for Dynamic Logic of Propositional Assignments
Figure 4 for Tableaux for Dynamic Logic of Propositional Assignments
Viaarxiv icon