The following pages link to Computer Science Logic (Q5394592):
Displaying 4 items.
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)