skip to main content
Idioma:
Refinado por: assunto: Lógica Modal remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Caracterização da independência condicional em lógica modal
Caracterização da independência condicional em lógica modal
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Caracterização da independência condicional em lógica modal

Alexandre Matos Arruda Marcelo Finger

São Paulo IME-USP 2010

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2010 v.1 ) e outros locais(Acessar)

2
Entailment multipliers an algebraic characterization of validity for classical and modal logics
Entailment multipliers an algebraic characterization of validity for classical and modal logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Entailment multipliers an algebraic characterization of validity for classical and modal logics

Marcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-2176241 ) e outros locais(Acessar)

3
Combinações de lógicas modais não-normais
Combinações de lógicas modais não-normais
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Combinações de lógicas modais não-normais

Augusto Rogério dos Santos Fajardo Marcelo Finger; Simpósio Internacional de Iniciação Científica da USP (10. 2002 São Carlos)

Alguns Tabalhos do IME-USP para o 10o. SIICUSP

São Paulo IME-USP 2003

Localização: ECA - Escola de Comunicações e Artes    (Arquivo da produção acadêmica ) e outros locais(Acessar)

4
Combining temporal logic systems
Combining temporal logic systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combining temporal logic systems

Marcelo Finger Dov Gabbay

Notre Dame Journal of Formal Logic Durham v. 37, n. 2, p. 204-232, 1996

Durham 1996

Localização: IME - Inst. Matemática e Estatística    (PROD-3043455 )(Acessar)

5
Approximations of Modal Logic K
Approximations of Modal Logic K
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Approximations of Modal Logic K

Guilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006

Amsterdam Elsevier 2006

Localização: IME - Inst. Matemática e Estatística    (PROD-3009534 )(Acessar)

6
How not to combine modal logics
How not to combine modal logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

How not to combine modal logics

Rogério Augusto dos Santos Fajardo Marcelo Finger; Indian International Conference on Artificial Intelligence - IICAI (2. 2005 Pune, India)

Proceedings Tallahassee : IICAI, 2005

Tallahassee IICAI 2005

Localização: IME - Inst. Matemática e Estatística    (PROD-3009560 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (5)
  2. Produções Técnicas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Indian International Conference on Artificial Intelligence - IICAI
  3. Gabbay, D
  4. Hernandes, M
  5. Fajardo, A

Neste Assunto:

  1. Inteligência Artificial

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

Buscando em bases de dados remotas. Favor aguardar.