In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.

During the last 15 years questions concerning gender, technology and knowledge, have become increasingly recognized as central to the field of the sociology of technology. Nonetheless, critical questions remain unanswered. These issues are addressed here through investigations of the relationship between gender, work, knowledge and technology. This thesis is composed of an introduction and four in

Abstract is not available

"What lies hidden behind online ads for erotic services, or on streets on the outskirts of cities, or in the downtown apartments used by escorts? What is someone who buys sex risking? What can be done to prevent human trafficking? What rights to sex workers have? Why is it that Germany considers prostitution to be a service, while Sweden punishes it as one of the most shameful forms of violence ag

Drugs prepared from organic and mineral substances have, throughout history, held a central position when it comes to preventing and curing disease. In Galenic medicine, foodstuffs, drugs and deadly substances, or poisons, were all accredited with the potential to affect the constitution of the body. While the Galenic paradigm continued to dominate formal medicine in the Middle Ages, the language

Popular Abstract in Swedish Till ryggmärgen kommer känselinformation om vad som händer med kroppen. Denna information använder vi sedan för att kunna korrigera våra rörelser. Många av dessa korrektioner utförs mer eller mindre självständigt av nervkretsar belägna i ryggmärgen. Att snabbt omvandla dessa känselsignaler till muskelaktivitet är oerhört komplicerat och beräkningskrävande eftersom kroppDuring development, information about the three-dimensional shape and mechanical properties of the body is laid down in the synaptic connectivity of sensorimotor systems through adaptive mechanisms. In spinal reflex systems, this enables the fast transformation of complex sensory information into adequate correction of movements. In this thesis, it is shown, in a computer simulation, that an unsup

Wind has a profound influence on migrating birds since it inevitably will influence travel time and energy expenditure. In this thesis I investigate how migrating birds are affected by, and use winds. The studies cover the following main topics: i) the influence of wind on the decision to depart on a migratory flight, and possible energy savings by choosing to migrate in tailwinds, ii) the effect

The principles for today's international refugee policies were laid down in the years following World War II, with the creation of the UNHCR and the establishment of an international refugee convention. These years, which were the central phase in the development of a new refugee regime, are the topic. The refugee question is set in an East-West perspective. The rethoric of refugee policies is con