Novos Sistemas de ProvaNovos Sistemas de Provaem Lógicametodologias de prova lógica.Abordagens inovadoras melhoram asLógica na InformáticaAvanços em Sistemas de Prova para Lógica ModalExplorando novos sistemas de prova usando autômatos para o mu-cálculo modal.2025-10-20T08:30:18+00:00 ― 7 min ler