Lógicas Simplificadas doLógicas Simplificadas doAAqvistem lógica.Uma análise concisa de modelos pequenosLógica na InformáticaEntendendo as Lógicas de Obrigação Condicional do AAqvistUm olhar sobre as lógicas de AAqvist e construções de modelos pequenos.2025-08-15T19:13:12+00:00 ― 7 min ler