Data/hora: 23/06/2024 02:12:04

Biblioteca(s): | Embrapa Unidades Centrais.
Data corrente: | 31/03/1997
Data da última atualização: | 12/12/2007
Autoria: | COSTA, M. M. do C.
Afiliação: | EMBRAPA-DIN.
Título: | Characterization of modal [action] logic.
Ano de publicação: | 1990
Fonte/Imprenta: | Londres: University of London, 1990
Páginas: | 257p.
Idioma: | Inglês
Notas: | Tese Doutorado.
Conteúdo: | The purpose of this thesis is to provide adequate conditions of provability- the so called characterization problem- for the modal [action] logic (M[A]L). M[A]L is a formal system to support formal requirements specification of real time/embedded systems designed and used by the FOREST project of the alvey software engineering directorate. The characterization problem is to be dealt with using two basic approaches: possible world structures on the semantics level and the semantic tableaux on the proof level.The development of the work follows the paradigm of starting with a more simple logic, the propositional M[A]L, and gradually adding components such as quantification, deontic operators, sorts and others. The use of formal systems is the central idea for  the support of mechanized deduction in computer science. Modal and temporal logics may have a considerable role, but different areas of application use various combinations of quantification and modalities, and can lead to a generation of new logics (such as M[A]L). The result of this enterprise will depend heavily on the existence of suitable methods for providing adequate and efficient proof procedures for these formalisms. Traditionally, the semantic tableau method is considered to be very intuitive: so that one could start reasoning in terms of tableau and then extend  the results to another system with different characteristics. In this thesis we affirm this tradition and we formulate evidences for its efficiency as well. This thesis constitutes...
Palavras-Chave: | Data processing; Lógica Modal; Lógica Temporal; Processamento de Dados; Real time; Tempo Real.
Categoria do assunto: | --
Registro original: | Embrapa Unidades Centrais (AI-SEDE)
Exemplares: | AI-SEDE - (3934-1) - UPC - TS - -- - 90/024 - COS - 1990.00024 - DIS