Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 16 de julho de 2020 (quinta-feira) Horário: 16:00h Apresentador: Prof. Mario Benevides (IC/UFF) Título: What makes a Logic Dynamic? Resumo: In recent years, many dynamic logics have been proposed in fields like Computer Science, Philosophy, Physics and Formal Biology. In this talk, we discuss three broad categories where dynamic logics have been developed: dynamic logics for program/process specification, dynamic Logics for reasoning about actions in AI, multi-agent epistemic logic and dynamic epistemic logics. Wepresent some standard extension of Propositional Dynamic Logic. Second, we introduce a Dynamic Logic in which the programs are terms in some process algebras: CCS (Calculus for Communicating Systems) and pi-Calculus specifications. We discuss how to match the notion of bisimulation between two processes in CCS with the notion of logically equivalent processes in PDL. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/tbn-fbee-dov Caso você deseje contribuir com uma apresentação, por favor preencha o formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 . -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-7Nxv5EECSjo13arVw3r%2B_ijP5NUtN_XP08Fk3BQD_YQ%40mail.gmail.com.
