skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

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
Gentzen Calculi for Modal Propositional Logic
Gentzen Calculi for Modal Propositional Logic
Gentzen Calculi for Modal Propositional Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Gentzen Calculi for Modal Propositional Logic

Francesca Poggiolesi

Springer Netherlands 2011

Acesso online. A biblioteca também possui exemplares impressos.

5
Estudo de viabilidade da utilização do método modal para a determinação experimental das características físicas da maçã
Estudo de viabilidade da utilização do método modal para a determinação experimental das características físicas da maçã
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Estudo de viabilidade da utilização do método modal para a determinação experimental das características físicas da maçã

Natalia Pistori Venanzi Walter Ferreira Velloso Júnior; Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (15. 2007 Pirassununga, SP)

15. SIICUSP : resumos Agropecuária São Paulo : USP, 2007

São Paulo USP 2007

Localização: FZEA - Fac. Zoot. Eng. de Alimentos    (PCD 2007 Est ) e outros locais(Acessar)

6
Introdução à Lógica Modal.
Introdução à Lógica Modal.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Introdução à Lógica Modal.

Coscarelli, Bruno Costa

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

Acesso online. A biblioteca também possui exemplares impressos.

7
Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz Dov M Gabbay; F Wolter; M Zakharyaschev

Elsevier 2003

Acesso online. A biblioteca também possui exemplares impressos.

8
Multi-Dimensional Modal Logic
Multi-Dimensional Modal Logic
Multi-Dimensional Modal Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Multi-Dimensional Modal Logic

Marx Jon Barwise; Maarten Marx; Yde Venema

Springer Netherlands 1997

Acesso online. A biblioteca também possui exemplares impressos.

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

10
First steps in modal logic
First steps in modal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

First steps in modal logic

Sally Popkorn

Cambridge u.a. Cambridge University Press 2003

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 P828f )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (106)
  2. Recursos Online (15)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1975  (10)
  2. 1975Até1990  (18)
  3. 1991Até2000  (20)
  4. 2001Até2010  (51)
  5. Após 2010  (10)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (91)
  2. Português  (11)
  3. Alemão  (5)
  4. Espanhol  (1)
  5. Italiano  (1)
  6. Francês  (1)
  7. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Gabbay, D
  2. Finger, M
  3. Hintikka, J
  4. Barwise, J
  5. Cresswell, M

Neste Assunto:

  1. Lógica Modal
  2. Lógica Matemática
  3. Modality (Logic)
  4. Lógica
  5. Logic

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

Buscando em bases de dados remotas. Favor aguardar.