Filtrado por: Materia
xmlui.dri2xhtml.structural.pagination-info.nototal
| Action model (1) |
| Dynamic epistemic logic (1) |
| Logic of communication and change (1) |
| Program transformer (1) |
| Propositional dynamic logic (1) |
| Reduction axiom (1) |
xmlui.dri2xhtml.structural.pagination-info.nototal
| Action model (1) |
| Dynamic epistemic logic (1) |
| Logic of communication and change (1) |
| Program transformer (1) |
| Propositional dynamic logic (1) |
| Reduction axiom (1) |