Foi publicado há pouco o artigo "Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations" de Jie Fan na Logica Universalis https://link.springer.com/article/10.1007/s11787-021-00270-9 que pode interessar muitas pessoas. Faz uso do conceito de bisimulação promovido na lógica modal por van Benthem. Ele mesmo apresenta este conceito de uma maneira bem clara no verbete da IEP: https://iep.utm.edu/modal-lo/ JYB
-- 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/CAF2zFLAbm2Fcr1AXV9bBcN-hE9GpSDUeFgohuAsQbpiM%3DJx-Fw%40mail.gmail.com.
