Filter by: Subject
Now showing items 1-10
Bisimulations (1) |
Complejidad (1) |
Complexity (1) |
Decidability (1) |
Decidibilidad (1) |
Dynamic epistemic logics (1) |
Dynamic operators (1) |
Expressive power (1) |
Lógicas dinámicas epistémicas (1) |
Lógicas modales (1) |