skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
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
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)

3
\"Combinações de lógicas modais não-normais\"
\"Combinações de lógicas modais não-normais\"
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

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

Fajardo, Rogerio Augusto Dos Santos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2004-08-13

Acesso online

4
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)

5
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)

6
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)

7
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)

8
Logicas epistemica y doxastica con restricciones
Logicas epistemica y doxastica con restricciones
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logicas epistemica y doxastica con restricciones

Sierra-A, Manuel

Ingeniería y ciencia (Medellín, Colombia), 2010-07, Vol.6 (12), p.81-115 [Periódico revisado por pares]

Universidad EAFIT

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6)
  2. Produções Acadêmicas  (1)
  3. Produções Técnicas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (1)
  2. 2001Até2002  (1)
  3. 2003Até2003  (1)
  4. 2004Até2005  (2)
  5. Após 2005  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.