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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.