Uma logica modal temporal

Uma logica modal temporal

Orientador: Jose Alexandre Durry Guerzoni === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-07-19T12:28:05Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_M.pdf: 10085958 bytes, checksum: 78f696d242fe4880bc3...

Full description

Bibliographic Details
Main Author:	Magossi, José Carlos, 1963-
Other Authors:	UNIVERSIDADE ESTADUAL DE CAMPINAS
Format:	Others
Language:	Portuguese
Published:	[s.n.] 1994
Subjects:	Modalidade (Lógica) Lógica simbólica e matemática
Online Access:	MAGOSSI, José Carlos. Uma logica modal temporal. 1994. [99]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, [SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/278664>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278664

Similar Items

Reconhecimento de caracteres alfanumericos atraves de tecnicas de logica nebulosa
by: Buck, Thomas de Araujo
Published: (1990)

O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
by: Castro, Milton Augustinis de
Published: (1998)

Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
by: Nobre, Emerson Faria
Published: (2011)

Teoria das funções recursivas e aplicações a logica
by: Centenaro, Iralino Fidencio
Published: (1977)

Um estudo de C omega em calculo de sequentes e dedução natural
by: Moura, José Eduardo de Almeida
Published: (2001)

Sobre quantificadores : uma formalização do quantificador 'quase sempre' /
by: Rodrigues, Angela Pereira.
Published: (2012)

Sobre quantificadores: uma formalização do quantificador 'quase sempre'
by: Rodrigues, Angela Pereira [UNESP]
Published: (2014)

Uma proposta alternativa para o ensinode introdução a logica matematica
by: Muhl, Vera Jussara Lourenzi
Published: (1989)

Paraconsistencia e modalidade
by: Monte, Daniel Liberalino
Published: (2009)

Teoria dos conjuntos e w-logica
by: Pedrosa, Renato Hyuda de Luna, 1956-
Published: (1981)

Valorações para alguns sistemas de logica do tempo
by: Mortari, Cezar Augusto
Published: (2013)

Um modelo algébrico do quantificador da ubiquidade /
by: Boza, Tiago Augusto dos Santos.
Published: (2014)

Introdução à Lógica Modal.
by: Bruno Costa Coscarelli
Published: (2009)

Introdução à Lógica Modal.
by: Coscarelli, Bruno Costa
Published: (2009)

Analise e sintese de sistemas a eventos discretos via logica modal
by: Magossi, José Carlos, 1963-
Published: (1998)

Planejamento em inteligencia artificial na lógica de ações e planos
by: Vizoni, Fausto Novaes Chiappin
Published: (2009)

Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
by: Bueno-Soler, Juliana, 1976-
Published: (2009)

Verificação automática de lógicas finitas multivalentes
by: Sousa, Marcelo Rodrigues de
Published: (2016)

Sobre as algebras de Da Costa
by: Seoane Seoane, Jose Carlos
Published: (1991)

O metodo dos isomorfismos parciais e a caracterização algebrica da expressabilidade matematica
by: Cifuentes Vasquez, Jose Carlos
Published: (1988)

O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
by: Cifuentes Vasquez, Jose Carlos
Published: (1993)

Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
by: Rojo, Roberta Vanessa
Published: (2010)

Logics of formal inconsistency
by: Almeida, João Marcos de
Published: (2005)

O sucesso escolar na interseção com o ensino da lógica e do raciocínio lógico quantitativo. De acordo com as normas vigentes
by: Pereira, Israel Roque
Published: (2017)

(In)completude modal por (N)matrizes finitas
by: Peron, Newton Marques, 1982-
Published: (2014)

A lógica no desenvolvimento da competência argumentativa
by: Bianchi, Cezira [UNESP]
Published: (2014)

Fundamentos logico-epistemologicos da aritmetica
by: Sarmento, Garibaldi Monteiro
Published: (2000)

Para uma teoria de traduções entre logicas cumulativas
by: Scheer, Mauro Cesar
Published: (2002)

APONTAMENTOS EM FILOSOFIA DA LÓGICA
by: Gilson Maicá de Oliveira
Published: (2019-01-01)

Sobre os fundamentos de programação lógica paraconsistente
by: Rodrigues, Tarcísio Genaro
Published: (2010)

Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
by: Tassinari, Ricardo Pereira
Published: (2003)

Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
by: Neto, Raimundo de Souza Martins
Published: (2016)

Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
by: Martins Neto, Raimundo de Souza
Published: (2016)

Tese de Church : algumas questões historico-conceituais
by: Ertola Biraben, Rodolfo Cristian, 1954-
Published: (1994)

Definições de conjunto finito
by: Sautter, Frank Thomas
Published: (1995)

Geometrización de la lógica proposicional y el aprendizaje de la lógica matemática en los alumnos del primer año de la facultad de ciencias de la educación de la universidad nacional Herm
by: Fermin Pozo Ortega, et al.
Published: (2017-08-01)

Geometrización de la lógica proposicional y el aprendizaje de la lógica matemática en los alumnos del primer año de la facultad de ciencias de la educación de la universidad nacional Herm
by: Fermin Pozo Ortega, et al.
Published: (2017-08-01)

Geometrización de la lógica proposicional y el aprendizaje de la lógica matemática en los alumnos del primer año de la facultad de ciencias de la educación de la universidad nacional Herm
by: Fermin Pozo Ortega, et al.
Published: (2017-08-01)

Semantica nominativa e logicas modais
by: Guerzoni, Jose Alexandre Durry, 1958-
Published: (1989)

Reseña: Corrientes de Pensamiento Matemático del siglo XX Primera parte. Fundamentación Mary Falk de Losada
by: Lorena Ruiz Serna
Published: (2013-07-01)