Carlos Areces

• Dynamic Logic. New Trends and Applications