A modal logic for epistemic tests
Résumé
We study a modal logic of knowledge and action, fo-cussing on test actions. Such knowledge-gathering actions increase the agents' knowledge. We propose a semantics, and associate an ax-iomatics and a rewriting-based proof procedure.
Domaines
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|---|
| Licence |