On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

O problema do caixeiro alugador com coleta de bonus: um estudo algoritmico

This paper introduces a new variant of the Traveling Car Renter Problem, named Prizecollecting Traveling Car Renter Problem. In this problem, a set of vertices, each associated with a bonus, and a set of vehicles are given. The objective is to determine a cycle that visits some vertices collecting, at least, a pre-defined bonus, and minimizing the cost of the tour that can be traveled with different vehicles. A mathematical formulation is presented and implemented in a solver to produce results for sixty-two instances. The proposed problem is also subject of an experimental study based on the algorithmic application of four metaheuristics representing the best adaptations of the state of the art of the heuristic programming.We also provide new local search operators which exploit the neighborhoods of the problem, construction procedures and adjustments, created specifically for the addressed problem. Comparative computational experiments and performance tests are performed on a sample of 80 instances, aiming to offer a competitive algorithm to the problem. We conclude that memetic algorithms, computational transgenetic and a hybrid evolutive algorithm are competitive in tests performed

Traduzindo o economês: metáforas da inflação em textos de jornalismo econômico

The research aimed two objectives: 1st) identifying and describing the metaphors of the inflation, in a corpus of 18 texts of economic journalism, from Joelmir Beting, written in the last trimester of 2002, at the moment of the government s transition of president Fernando Henrique Cardoso to Luiz Inácio Lula Da Silva. 2nd) verifying the recognition of the metaphors by the students of the basic education of a private school from Natal. 91 metaphors had been identified, analyzed in the perspective of the conceptual metaphor s theory, by Lakoff and Johnson (2002), on the basis of the distinction between conceptual metaphor and metaphoric expressions, and between domain-source/domain-target. 10 underlying conceptual metaphors had been inferred, being that the domains-source used more frequently to characterize the inflation had been those ones according to the human being and the animals and, of a less imaginable form, to the ways of transport (car, aircraft). These general conceptual metaphors had been unfolded in other s more specific ones ( animal specifying itself in lion , dragon , dog , etc.). Another result was the identification of metaphoric expressions with two or more meanings , with relation to more than one conceptual metaphor or explicit, in the same expression, two domains-source (for example: armored dragon ) and contributes, of a relevant form, for the semantic struturation of the text. The understanding of the metaphors was verified through an activity of domains-source s identification (10 metaphoric statements and fulfilling of the gap in the phrase the inflation is a/an ) applied in a group of 8th year of the basic education (12-13 years old, with 14 girls and 17 boys) from a school of good social and economic positions from Natal-RN. There weren t great difficulties on the part of the students in recognizing the domains-source involved: about 80% to the great majority of the statements

Traduzindo o economês: metáforas da inflação em textos de jornalismo econômico

The research aimed two objectives: 1st) identifying and describing the metaphors of the inflation, in a corpus of 18 texts of economic journalism, from Joelmir Beting, written in the last trimester of 2002, at the moment of the government s transition of president Fernando Henrique Cardoso to Luiz Inácio Lula Da Silva. 2nd) verifying the recognition of the metaphors by the students of the basic education of a private school from Natal. 91 metaphors had been identified, analyzed in the perspective of the conceptual metaphor s theory, by Lakoff and Johnson (2002), on the basis of the distinction between conceptual metaphor and metaphoric expressions, and between domain-source/domain-target. 10 underlying conceptual metaphors had been inferred, being that the domains-source used more frequently to characterize the inflation had been those ones according to the human being and the animals and, of a less imaginable form, to the ways of transport (car, aircraft). These general conceptual metaphors had been unfolded in other s more specific ones ( animal specifying itself in lion , dragon , dog , etc.). Another result was the identification of metaphoric expressions with two or more meanings , with relation to more than one conceptual metaphor or explicit, in the same expression, two domains-source (for example: armored dragon ) and contributes, of a relevant form, for the semantic struturation of the text. The understanding of the metaphors was verified through an activity of domains-source s identification (10 metaphoric statements and fulfilling of the gap in the phrase the inflation is a/an ) applied in a group of 8th year of the basic education (12-13 years old, with 14 girls and 17 boys) from a school of good social and economic positions from Natal-RN. There weren t great difficulties on the part of the students in recognizing the domains-source involved: about 80% to the great majority of the statements