Os Anais do IV Workshop Brasileiro de Lógica (WBL 2023) trazem os artigos selecionados e apresentados na edição do evento realizada em João Pessoa, no período de 06 a 11 de agosto de 2023, como parte do XLIII Congresso da Sociedade Brasileira de Computação (CSBC 2023), que teve como tema "Oportunidades e desafios da integração dos mundos físico e digital". Nesta edição, os anais incluem 06 artigos, selecionados através de um processo de revisão por pares do tipo duplamente anônima, de um total de 07 trabalhos submetidos, o que implicou numa taxa de aceitação de 85,7%. O comitê de programa do evento foi coordenado por Mario Roberto Folhadela Benevides (UFF) e Jorge Petrucio Viana (UFF), que organizaram este volume. Os artigos que integram este volume foram submetidos em 05/04/2023, aceitos para publicação em 20/05/2023, tendo a versão final submetida em 28/05/2023.
Para mais informações sobre o WBL 2023, visite o site desta edição do evento.
Para ter acesso aos anais de outros eventos que fizeram parte do CSBC 2023, visite a série Anais do CSBC 2023.