dialnet.unirioja.es · 294 Årboles, lógica y mecanismos de decisión Con vistas a poder presentar...
25
dialnet.unirioja.es · 294 Årboles, lógica y mecanismos de decisión Con vistas a poder presentar conjuntamente el sistema de Beth y el de Smullyan —así como cualquier otro simi-