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

Measurement of the p(p)over-bar -> WZ+X cross section at root s=1.96 TeV and limits on WWZ trilinear gauge couplings

We present measurements of the process p (P) over bar -> WZ + X -> l 'nu(l ')l (l) over bar at root s = 1:96 TeV,where l and l ' are electrons or muons. Using 1 fb(-1) of data from the D0 experiment, we observe 13 candidates with an expected background of 4.5 +/- 0.6 events and measure a cross section sigma(WZ) = 2.7(-1.3)(+1.7) pb. From the number of observed events and the Z boson transverse momentum distribution, we limit the trilinear WWZ gauge couplings to -0: 17 <= lambda(Z) <= 0.21 (Delta k(Z) <= 0.29(lambda(Z) = 0) at the 95% C.L. for a form factor scale Lambda = 2 TeV. Further, assuming that Delta g(1)(Z) = Delta k(Z), we find -0.12 <= Delta k(Z) <= 0.29(lambda(Z) = 0) at the 95% C. L. These are the most restrictive limits on the WWZ couplings available to date.

Limits on anomalous trilinear gauge couplings from WW -> e(+)e(-), WW -> e(+/-)mu(-/+), and WW ->mu(+)mu(-) events from pp collisions at root s=1.96 TeV

Limits are set on anomalous WW gamma and WWZ trilinear gauge couplings using W+W--> e(+)nu(e)e(-)(nu) over bar (e), W+W--> e(+/-)nu(e)mu(-/+)nu(mu), and W+W-->mu(+)nu(mu)mu(-)(nu) over bar (mu) events. The data set was collected by the Run II D0 detector at the Fermilab Tevatron Collider and corresponds to approximately 250 pb(-1) of integrated luminosity at root s=1.96 TeV. Under the assumption that the WW gamma couplings are equal to the WWZ couplings and using a form factor scale of Lambda=2.0 TeV, the combined 95% C.L. one-dimensional coupling limits from all three channels are -0.32

Z gamma production and limits on anomalous ZZ gamma and Z gamma gamma couplings in pp collisions at root s=1.96 TeV

We present a study of eey and mu mu gamma events using 1109 (1009) pb-(1) of data in the electron (muon) channel, respectively. These data were collected with the DO detector at the Fermilab Tevatron pp collider at Is = 1.96 TeV. Having observed 453 (515) candidates in the eey (jtAy) final state, we measure the Z gamma production cross section for a photon with transverse energy ET > 7 GeV, separation between the photon and leptons Delta Rey > 0.7, and invariant mass of the di-lepton pair Mee > 30 GeV/(2)(c), to be 4.96 0.30(stat. + syst.) zE 0.30(lumi.) pb, in agreement with the Standard Model prediction of 4.74 0.22 pb. This is the most precise Zy cross section measurement at a hadron collider. We set limits on anomalous trilinear Zyy and ZZy gauge boson couplings of -0.085 < h(30)(y) < 0.084, -0.0053 < h(40)(y) < 0.0054 and -0.083 < h(30)(Z) < 0.082, 30 40 30 -0.0053 < h(40)(Z) < 0.0054 at the 95% C.L. for the form-factor scale A = 1.2 TeV. 40 Published by Elsevier B.V.

Production of WZ events in pp(-) collisions at root s=1.96 TeV and limits on anomalous WWZ couplings

We present results from a search for WZ production with subsequent decay to l nu l'(l) over bar'(l and l' = e or mu) using 0.30 fb(-1) of data collected by the D0 experiment between 2002 and 2004 at the Fermilab Tevatron. Three events with WZ decay characteristics are observed. With an estimated background of 0.71 +/- 0.08 events, we measure the WZ production cross section to be 4.5(-2.6)(+3.8) pb, with a 95% C.L. upper limit of 13.3 pb. The 95% C.L. limits for anomalous WWZ couplings are found to be -2.0

Study Z gamma events and limits on anomalous ZZ gamma and Z gamma gamma couplings in pp(-) collisions at root s=1.96 Tev

We present a measurement of the Z gamma production cross section and limits on anomalous ZZ gamma and Z gamma gamma couplings for form-factor scales of Lambda=750 and 1000 GeV. The measurement is based on 138 (152) candidates in the ee gamma (mu mu gamma) final state using 320(290) pb(-1) of p (p) over bar collisions at root s=1.96 TeV. The 95% C.L. limits on real and imaginary parts of individual anomalous couplings are vertical bar h(10,30)(Z)vertical bar < 0.23, vertical bar h(20,40)(Z)vertical bar < 0.020, vertical bar h(10,30)(gamma)vertical bar < 0.23, and vertical bar h(20,40)(gamma)vertical bar < 0.019 for Lambda=1000 GeV.

Direct limits on the B-s(0) oscillation frequency

We report results of a study of the B-s(0) oscillation frequency using a large sample of B-s(0) semileptonic decays corresponding to approximately 1 fb(-1) of integrated luminosity collected by the D0 experiment at the Fermilab Tevatron Collider in 2002-2006. The amplitude method gives a lower limit on the B-s(0) oscillation frequency at 14.8 ps(-1) at the 95% C.L. At Delta m(s)=19 ps(-1), the amplitude deviates from the hypothesis A=0 (1) by 2.5 (1.6) standard deviations, corresponding to a two-sided C.L. of 1% (10%). A likelihood scan over the oscillation frequency, Delta m(s), gives a most probable value of 19 ps(-1) and a range of 17 one observed in the interval 16-22 ps(-1) is (5.0 +/- 0.3)%.

Measurement of the WZ -> lvll cross section and limits on anomalous triple gauge couplings in p(p)over-bar collisions at root s=1.96 TeV

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Dependence of the t(t)over-bar production cross section on the transverse momentum of the top quark

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Combined Tevatron upper limit on gg -> H -> W+W- and constraints on the Higgs boson mass in fourth-generation fermion models

We combine results from searches by the CDF and D0 collaborations for a standard model Higgs boson (H) in the process gg -> H -> W+W- in p (p) over bar collisions at the Fermilab Tevatron Collider at root s = 1.96 TeV. With 4.8 fb(-1) of integrated luminosity analyzed at CDF and 5.4 fb(-1) at D0, the 95% confidence level upper limit on sigma(gg -> H) x B(H -> W+W-) is 1.75 pb at m(H) = 120 GeV, 0.38 pb at m(H) = 165 GeV, and 0.83 pb at m(H) = 200 GeV. Assuming the presence of a fourth sequential generation of fermions with large masses, we exclude at the 95% confidence level a standard-model-like Higgs boson with a mass between 131 and 204 GeV.

Measurement of the Z gamma -> nu(nu)over-bar gamma Production Cross Section and Limits on Anomalous ZZ gamma and Z gamma gamma Couplings in p(p)over-bar Collisions at root s=1.96 TeV

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Search for ZZ and z gamma* production in p(p)over-bar collisions at root s=1.96 TeV and limits on anomalous ZZZ and ZZ gamma* couplings

We present a study of mu mu mu mu, eeee, and mu mu ee events using 1 fb(-1) of data collected with the D0 detector at the Fermilab Tevatron p (p) over bar Collider at root s = 1.96 TeV. Requiring the lepton pair masses to be greater than 30 GeV, we observe one event, consistent with the expected background of 0.13 +/- 0.03 events and with the predicted standard model ZZ and Z gamma(*) production of 1.71 +/- 0.15 events. We set an upper limit on the ZZ and Z gamma(*) cross section of 4.4 pb at the 95% C.L. We also derive limits on anomalous neutral trilinear ZZZ and ZZ gamma(*) gauge couplings. The one-parameter 95% C.L. coupling limits with a form-factor scale Lambda = 1.2 TeV are -0.28 < f(40)(Z)< 0.28, -0.31 < f(50)(Z)< 0.29, -0.26 < f(40)(gamma)< 0.26, and -0.30 < f(50)(gamma)< 0.28.

First study of the radiation-amplitude zero in W gamma production and limits on anomalous WW gamma couplings at root s=1.96 TeV

We present results from a study of p (p) over bar -> W gamma+X events utilizing data corresponding to 0.7 fb(-1) of integrated luminosity at root s = 1.96 TeV collected by the D0 detector at the Fermilab Tevatron Collider. We set limits on anomalous WW gamma couplings at the 95% C.L. The one-dimensional 95% C.L. limits are 0.49 on and the photon and find it to be indicative of the standard model radiation-amplitude zero in the W gamma system.

Combination of t(t)over-bar cross section measurements and constraints on the mass of the top quark and its decays into charged Higgs bosons

We combine measurements of the top quark pair production cross section in p (p) over bar collisions in the l + jets, ll, and tau l final states ( where l is an electron or muon) at a center of mass energy of root s = 1.96 TeV in 1 fb(-1) of data collected with the D0 detector. For a top quark mass of 170 GeV/c(2), we obtain sigma(t (t) over bar) = 8.18(-0.87)(+0.98) pb in agreement with the theoretical prediction. Based on predictions from higher order quantum chromodynamics, we extract a mass for the top quark from the combined t (t) over bar cross section, consistent with the world average of the top quark mass. In addition, the ratios of t (t) over bar cross sections in different final states are used to set upper limits on the branching fractions B(t -> H(+)b -> tau(+) vb) and B(t -> H(+)b -> c (s) over barb) as a function of the charged Higgs boson mass.

Measurement of the WW Production Cross Section with Dilepton Final States in pp Collisions at s=1.96 TeV and Limits on Anomalous Trilinear Gauge Couplings

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)