skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Dynamic formal epistemology
Dynamic formal epistemology
Material Type:
Livro 		Adicionar ao Meu Espaço

Dynamic formal epistemology

Patrick Girard Professor; Olivier Roy; Mathieu Marion 1962-

Dordrecht New York Springer c2011

Localização: EACH - Esc. Artes, Ciências e Humanidades    (121 D997 ) e outros locais(Acessar)

2
On the Universality of Atomic and Molecular Logics via Protologics
On the Universality of Atomic and Molecular Logics via Protologics
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Universality of Atomic and Molecular Logics via Protologics

Aucher, Guillaume

Logica universalis, 2022-06, Vol.16 (1-2), p.285-322 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Corrigendum to: Displaying updates in logic
Corrigendum to: Displaying updates in logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Corrigendum to: Displaying updates in logic

Aucher, Guillaume

Journal of logic and computation, 2020-09, Vol.30 (6), p.1303-1303 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
4
A van Benthem Theorem for Atomic and Molecular Logics
A van Benthem Theorem for Atomic and Molecular Logics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A van Benthem Theorem for Atomic and Molecular Logics

Aucher, Guillaume

Electronic proceedings in theoretical computer science, 2022, Vol.358, p.84-101

Texto completo disponível

Citações Citado por
5
Dynamic epistemic logic in update logic
Dynamic epistemic logic in update logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic epistemic logic in update logic

Aucher, Guillaume

Journal of logic and computation, 2016-12, Vol.26 (6), p.1913-1960 [Periódico revisado por pares]

Oxford University Press (OUP)

Texto completo disponível

Citações Citado por
6
Displaying updates in logic
Displaying updates in logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Displaying updates in logic

Aucher, Guillaume

Journal of logic and computation, 2016-12, Vol.26 (6), p.1865-1912 [Periódico revisado por pares]

Oxford University Press (OUP)

Texto completo disponível

Citações Citado por
7
Automata Techniques for Epistemic Protocol Synthesis
Automata Techniques for Epistemic Protocol Synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automata Techniques for Epistemic Protocol Synthesis

Aucher, Guillaume ; Maubert, Bastien ; Pinchinat, Sophie

EPTCS, 2014-04, Vol.146 (Proc. SR 2014), p.97-103

Open Publishing Association

Texto completo disponível

Citações Citado por
8
DEL-sequents for regression and epistemic planning
DEL-sequents for regression and epistemic planning
Material Type:
Artigo 		Adicionar ao Meu Espaço

DEL-sequents for regression and epistemic planning

Aucher, Guillaume

Journal of applied non-classical logics, 2012-12, Vol.22 (4), p.337-367 [Periódico revisado por pares]

Abingdon: Routledge

Sem texto completo

Citações Citado por
9
Intricate Axioms as Interaction Axioms
Intricate Axioms as Interaction Axioms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Intricate Axioms as Interaction Axioms

Aucher, Guillaume

Studia logica, 2015-10, Vol.103 (5), p.1035-1062 [Periódico revisado por pares]

Dordrecht: Springer Science+Business Media B. V

Texto completo disponível

Citações Citado por
10
Modal logics of sabotage revisited
Modal logics of sabotage revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modal logics of sabotage revisited

Aucher, Guillaume ; Benthem, Johan van ; Grossi, Davide

Journal of logic and computation, 2018-03, Vol.28 (2), p.269-303 [Periódico revisado por pares]

Oxford University Press (OUP)

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (46)
  2. Anais de Congresso  (31)
  3. Reports  (17)
  4. Book Chapters  (13)
  5. Dissertações  (3)
  6. Livros  (2)
  7. Imagens  (1)
  8. Recursos Textuais  (1)
  9. Mais opções open sub menu

Autor/Criador 

  1. Roy, O  (1)
  2. Girard, P  (1)
  3. Marion, M  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2008  (9)
  2. 2008Até2011  (27)
  3. 2012Até2015  (24)
  4. 2016Até2020  (26)
  5. Após 2020  (21)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (95)
  2. Francês  (23)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Roy, O
  2. Girard, P
  3. Marion, M

Neste Assunto:

  1. Computer Science
  2. Logic In Computer Science
  3. Science & Technology
  4. Artificial Intelligence
  5. Logic

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.