| Construindo Tableaux para Lógica Linear Intuicionista Hugo Borges |
| Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic Renato Reis Leme, Giorgio Venturi, Bruno Lopes |
| Another Calculational Proof of Cantor’s Theorem Márcia Rosana Cerioli, Renata de Freitas, Petrucio Viana |
Propositional Dynamic logic is a sophisticated modal logic tailored to reason about programs. There are several worth-of-studying fragments (controlling the complexity) and extensions (aiming to increase expressiveness). We will discuss some impacts of restricting to deterministic programs and how to enhance the expressiveness using a memory
Bruno LopesBruno Lopes é professor na Universidade Federal Fluminense (IC/UFF) e pesquisador no FR∀M∃ Lab. Já foi pesquisador visitante no Deduc˫eam/INRIA. Sua principal linha de trabalho é na área de lógica para sistemas concorrentes, com trabalhos recentes no desenvolvimento de provadores de teoremas extensíveis, normalização para sistemas de dedução natural, ontologias, formalização de sistemas multi-agentes e teoria da prova para lógicas.
| Integrating tools to reason about Reo circuits Mariana Ferreira, Bruno Lopes |
The talk will be divided into two parts. In the first one we will present some concepts and methods related to graphical calculi for manipulating relational terms through diagrams. The representation of terms by diagrams is based on intuition and manipulating diagrams seem to be easier to be understood than their algebraic manipulations with the symbolic mathematical notation. Thus, our goal is to formalize graphically the intuitive ideas of informal human reasoning about binary relations obtaining sound and complete calculi, In the second part these concepts will be applied to modal logics. This approach uses the flexibility of graphical calculi to express directly and intuitively the semantics for modal logics. It will be illustrated how one can extend them to be used in classical modal logics.
Sheila VelosoSheila Veloso é professora aposentada da Universidade Federal do Rio de Janeiro (UFRJ) e professora titular da Universidade do Estado do Rio de Janeiro (UERJ). Tem experiência na área de Ciência da Computação, com ênfase em Teoria de Programação, atuando principalmente nos seguintes temas: lógica modal, álgebra relacional, raciocínio genérico, raciocínio qualitativo e álgebra com fork.
| Quasi-N4-lattices and their logic Clodomir Silva Lima Neto, Thiago Silva, Umberto Rivieccio |
O Terceiro Workshop Brasileiro de Lógica (WBL’22) é uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL). Em sua terceira edição, seu objetivo é congregar lógicos de diferentes áreas da Computação e em diferentes estágios da carreira – de estudantes de graduação a pesquisadores – que desejem apresentar propostas de trabalhos e trabalhos em andamento. O encontro é um momento importante para a comunidade lógica brasileira se unir e discutir os desenvolvimentos recentes do campo.
Esta edição será co-alocada com o XLII Congresso da Sociedade Brasileira de Computação (CSBC 2022), que ocorre entre 31/07 e 05/08/2022. A data específica para o workshop será anunciada em breve.
Esta chamada está aberta para trabalhos relacionados à área de lógica e suas aplicações em diferentes campos da computação, especialmente (mas não restrito) a:
Artigos a serem submetidos devem ser redigidos no template da SBC (http://tinyurl.com/sbc-template-artigos) com tamanho entre 6 (seis) e 8 (oito) páginas.
As submissões devem ser feitas pelo sistema JEMS (https://jems.sbc.org.br/home.cgi?c=4030) em inglês ou em português.
Para que um artigo aceito seja apresentado e incluído nos anais do evento, é necessário que ao menos um dos autores do artigo realize a sua inscrição no evento na categoria profissional. Cada inscrição na categoria profissional dá direito à publicação de um único artigo, considerando qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de publicação” por artigo adicional. O valor dessa taxa pode ser visto na página de inscrições do CSBC 2022.
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN 2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os artigos serão indexados com DOI.
Organizador Geral:
Marlo Vieira dos Santos e Souza (UFBA)
Organizadoras do Comitê de Programa:
Cláudia Nalon (UnB)
Elaine Pimentel (UFRN)
Apoio local:
Bruno Lopes (UFF)
Comitê de programa:
Em caso de dúvidas, entre em contato através do e-mail: nalon@unb.br ou elaine.pimentel@gmail.com
