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

Correlação entre contexto morfoestrutural e sismicidade nas regiões de João Câmara e São Rafael (RN)

This MSc thesis describes brittle deformation in two seismic zones located in north-eastern Brazil: João Câmara and São Rafael, Rio Grande do Norte State. Both areas show seismogenic faults, Samambaia and São Rafael, indicated by narrow zones of epicentres with a strike of 040o, a lenght of 30 km and 4 km, and a depth of 1-12 and 0,5-4 km, respectively. The first seismological and geological studies suggested blind faults or faults that were still in the beginning of the nucleation process. The region is under E-W-oriented compression and is underlain by Precambrian terrains, deformed by one or more orogenic cycles, which generated shear zones generally marked by strong pervasive foliation and sigmoidal shapes. The crystalline basement is capped by the Cretaceous Potiguar basin, which is also locally capped by Pliocene continental siliciclastic deposits (Barreiras Formation), and Quaternary alluvium. The main aim of this study was to map epicentral areas and find whether there are any surface geological or morphotectonic expression related to the seismogenic faults. A detailed geological map was carried out in both seismic areas in order to identify brittle structures and fault-related drainage/topographic features. Geological and morphotectonic evidence indicate that both seismogenic faults take place along dormant structures. They either cut Cenozoic rocks or show topographic expression, i.e., are related to topographic heights or depressions and straight river channels. Faults rocks in the Samambaia and São Rafael faults are cataclasite, fault breccia, fault gouge, pseudotachylyte, and quartz veins, which point to reactivation processes in different crustal levels. The age of the first Samambaia and the São Rafael faulting movement possibly ranges from late Precambrian to late Cretaceous. Both fault cut across Precambrian fabric. They also show evidence of brittle processes which took place between 4 and 12 km deep, which probably have not occurred in Cenozoic times. The findings are of great importance for regional seismic hazard. They indicate that fault zones are longer than previously suggested by seismogenic studies. According to the results, the methodology used during this thesis may also be useful in other neotectonic investigation in intraplate areas

Produção do espaço e transformações urbanas no litoral sul de João Pessoa - PB

This present work has as its objective the analysis of transformations relating to the production processes in the Southern littoral urban space of the city of João Pessoa PB. The research estimated that the urban space is the product, means and condition of the society which produces it. The object-area of this inquiry is constituted of five districts: Altiplano Cabo Branco, Portal do Sol, Ponta do Seixas, Penha and Costa do Sol. The urban expansion which occurs in this area is characterized by the appearance of sufficient contradictory space phenomenona. On the other hand, the launching of real estate products such as the horizontal closed condominiums, directed towards the upper class, and the occurrence of areas of irregular occupation, inhabited by lower socioeconomic class and with a great lack of infrastructure and basic urban services, revealing the social contradictions. Due to this, processes such as auto-segregation and segregation imposed beyond the precarious and delinquent inclusion, has become the determining characteristic of this part of the city in analysis. The study also takes into account the appreciation of the new urban environmental zoning of Altiplano do Cabo Branco and from this moment on, start the discussion about the tendencies of urban expansion in this area, due to the interests and strategies of the real estate sector and the prominent role of the government in the current valorization process of urban soil of the area. The presence of residuals of agricultural businesses indicates a typical picture of the peri-urban areas configuring what we observe today at the Southern littoral of João Pessoa

Os marcos da paisagem da cidade no contexto da trama urbana de Natal/RN: um estudo a partir do Morro do Careca, o Midway Mall, o Pórtico dos Reis Magos e a Ponte Newton Navarro

The present work is a study on the functions performed by landmarks landscape Natal / RN in the urban fabric, in the case of Midway Mall, the Portico dos Reis Magos, the Morro do Careca and Newton Navarro Bridge. For such goals established itself as analyze the functionality of the milestones presented here in the urban fabric; discuss the importance of these landmarks of the city landscape in the process of urbanization of Natal, and identify and spatialize actions related to the use of territories where are located landmarks, discussing their reflections. To achieve these goals we chose to use as a literature search procedures, the problematic concept, working with oral sources, and reading speechless. To support this research the main concepts were worked landscape, city, landmark, public space, circuits, among others. After going over the theory, consistent with the empirical data, it appears that the landmarks studied here have different functions and features, but all carry different forms of fascination for the public and visitors to the city, and every man your way, influence the public space, land speculation and feature importance in the process of urbanization of Natal

Paisagem arquitetônica da cidade de João Pessoa/PB e seus significados: o perceptivo dos moradores

This study was conducted in the city of João Pessoa, Paraíba mesoregion Forest. Having to analyze how does the appreciation of the architectural heritage to the visitor and pessoense Capital Paraiba, taking into account the narratives of João Pessoa, and practitioners of foreign tourists of cultural tourism. This research builds on a theoretical foundation on concepts of landscape and place. Was taken as a foundation to Cultural Geography. The research in question is justified by embarking on Geography and Heritage and cast a glance on the geographical cultural landscape, trying to unravel the symbols assigned to the ancient architectural examples, meaning that interfere with power relationships that cross generations, constructing and deconstructing identities, is dispersed or integrating cultures, creating cultural groups and social conflict. It is concluded that the geographical area derives from a number of factors, among them the culture and this in turn will shaping the landscape, reflecting the abstract over the concrete architecture of the oldest to the most current, turning from the material to the immaterial in World Heritage Site