Seminário remoto "Lógicos em Quarentena" 16/07/2020 (quinta-feira) 16:00h
9 views
Skip to first unread message
Bruno Lopes
Jul 13, 2020, 8:54:37 AM7/13/20
to Diretoria SBL, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
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
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
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
Reply all
Reply to author
Forward
0 new messages