Výsledky vyhledávání - "Benevides, Mario Roberto Folhadela"

Report

Dynamic Epistemic Logic with Communication Actions

Autor: Benevides, Mario Roberto Folhadela, Lima, Isaque Macalam Saab

This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurr

Externí odkaz: http://arxiv.org/abs/1902.01164

Zobrazit plný text záznamu

Dissertation/ Thesis

A proof theoretical methodology for multiple world reasoning

Autor: Benevides, Mario Roberto Folhadela

Externí odkaz: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718196

Zobrazit plný text záznamu

From relations to neighborhoods: understanding non-normal modalities

Autor: Dantas Neto, João Freire

Publikováno v: Repositório Institucional da UFRN
Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) Conselho Nacional de Desenvolvimento Científico e Tecnológico - CNPq A busca por estruturas matemáticas que representem comportamentos de determinadas lógicas é importante p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::d933bd6817400bd95c92cb71f04d5a17
https://repositorio.ufrn.br/jspui/handle/123456789/26312

Zobrazit plný text záznamu

Um método tableaux para lógica epistêmica multi-agente dolev-yao

Autor: Fernandez, Luiz Cláudio Frederico

Publikováno v: Repositório Institucional da UFRJ
Universidade Federal do Rio de Janeiro (UFRJ)
instacron:UFRJ

Submitted by Christianne Fontes de Andrade (cfontes@ct.ufrj.br) on 2020-03-24T15:21:01Z No. of bitstreams: 1 885780.pdf: 356074 bytes, checksum: dd7c5f287cdee416979ab89ea83bac49 (MD5) Made available in DSpace on 2020-03-24T15:21:01Z (GMT). No. of bit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::8c0ff69054ea744e9bfcd29e542eb5fd

Zobrazit plný text záznamu

Verificador de modelos para lógica epistêmica Dolev-yao

Autor: Oliveira, Anna Carolina Carvalho Moreira de

Publikováno v: Repositório Institucional da UFRJ
Universidade Federal do Rio de Janeiro (UFRJ)
instacron:UFRJ

Submitted by Moreno Barros (moreno@ct.ufrj.br) on 2020-10-04T19:15:41Z No. of bitstreams: 1 AnnaCarolinaCarvalhoMoreiraDeOliveira.pdf: 506065 bytes, checksum: 76f6e4372217f7c879527299ea71a43c (MD5) Made available in DSpace on 2020-10-04T19:15:41Z (GM

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::29c15eed110fd945ca674b88c4dd9423

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání