Modelos Lógicos ComplexosModelos Lógicos Complexose Inquisitivosde modelos da lógica inquisitiva.Explorando os desafios na verificaçãoLógica na InformáticaInvestigando Lógica Curiosa e Verificação de ModelosUm estudo sobre a complexidade da verificação de modelos da lógica inquisitiva.2025-08-10T17:45:49+00:00 ― 8 min ler