skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: Academic Search Premier remover Nome da Publicação: Siberian Mathematical Journal remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An axiomatization for the linear logic of knowledge and time LTK r with intransitive time relation
An axiomatization for the linear logic of knowledge and time LTK r with intransitive time relation
Material Type:
Artigo 		Adicionar ao Meu Espaço

An axiomatization for the linear logic of knowledge and time LTK r with intransitive time relation

Luk’yanchuk, A. N. ; Rimatskiĭ, V. V.

Siberian mathematical journal, 2013-11, Vol.54 (6), p.1037-1045 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Admissible inference rules in the linear logic of knowledge and time LTKr with intransitive time relation
Admissible inference rules in the linear logic of knowledge and time LTKr with intransitive time relation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Admissible inference rules in the linear logic of knowledge and time LTKr with intransitive time relation

Luk’yanchuk, A. N. ; Rybakov, V. V.

Siberian mathematical journal, 2015-05, Vol.56 (3), p.455-470 [Periódico revisado por pares]

Moscow: Pleiades Publishing

Texto completo disponível

Citações Citado por
3
Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation
Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation

Luk’yanchuk, A. N. ; Rybakov, V. V.

Siberian mathematical journal, 2015-05, Vol.56 (3), p.455-470 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
An axiomatization for the linear logic of knowledge and time LTKr with intransitive time relation
An axiomatization for the linear logic of knowledge and time LTKr with intransitive time relation
Material Type:
Artigo 		Adicionar ao Meu Espaço

An axiomatization for the linear logic of knowledge and time LTKr with intransitive time relation

Luk’yanchuk, A. N. ; Rimatskiĭ, V. V.

Siberian mathematical journal, 2013, Vol.54 (6), p.1037-1045 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.