Axiomatizing modal inclusion logic

Modal inclusion logic is modal logic extended with inclusion atoms. It is the modal variant of first-order inclusion logic, which was introduced by Galliani (2012). Inclusion logic is a main variant of dependence logic (Väänänen 2007). Dependence logic and its variants adopt team semantics, introduced by Hodges (1997). Under team semantics, a modal (inclusion) logic formula is evaluated in a set of states, called a team. The inclusion atom is a type of dependency atom, which describes that the possible values a sequence of formulas can obtain are values of another sequence of formulas. In this thesis, we introduce a sound and complete natural deduction system for modal inclusion logic, which is currently missing in the literature. The thesis consists of an introductory part, in which we recall the definitions and basic properties of modal logic and modal inclusion logic, followed by two main parts. The first part concerns the expressive power of modal inclusion logic. We review the result of Hella and Stumpf (2015) that modal inclusion logic is expressively complete: A class of Kripke models with teams is closed under unions, closed under k-bisimulation for some natural number k, and has the empty team property if and only if the class can be defined with a modal inclusion logic formula. Through the expressive completeness proof, we obtain characteristic formulas for classes with these three properties. This also provides a normal form for formulas in MIL. The proof of this result is due to Hella and Stumpf, and we suggest a simplification to the normal form by making it similar to the normal form introduced by Kontinen et al. (2014). In the second part, we introduce a sound and complete natural deduction proof system for modal inclusion logic. Our proof system builds on the proof systems defined for modal dependence logic and propositional inclusion logic by Yang (2017, 2022). We show the completeness theorem using the normal form of modal inclusion logic

Turvallisuus nyky-yhteiskunnassa: suomalaisten maanpuolustukseen sitoutumisen mallinnus, 2020

The diverse range of threats to contemporary states mean that a high level of commitment to national defence is required effectively implement defensive doctrine. States need an accurate picture of the commitment to national defence among their citizens. However, research on the topic has been sparse. There is also limited knowledge regarding the factors that can be used to predict expressed commitment to national defence. This thesis examines data from the 2020 Advisory Board for Defence Information (ABDI) survey (N = 1169) on Finnish opinions on national defence using binary logistic regression. The survey consisted of in-person interviews (N = 500) and an online questionnaire (N = 669). The response rate for the survey was 21.8% for online participants and not reported for in-person interviews. Commitment to national defence is operationalised through questions on general and personal will to defend the country, which are examined separately and combined to represent the concept of national defence thought. The rate of positive responses to the dependent variables is examined by hierarchically constructing four regression models for each dependent variable followed by a final, simplified model. The chosen predictors are organised thematically and utilise demographic, socioeconomic, personal circumstance and geographic background information on the respondents. The primary predictors are the participants’ gender (53.9% male, 46.1% female) and age (age range 15-79). The thesis finds that the respondents’ gender and age are key predictors of expressed commitment to national defence. Men and older participants express higher levels of commitment compared to women and younger respondents. The respondents’ socioeconomic status, personal circumstance and geographic location are inconsistently associated with their expressed commitment to national defence. The association between commitment to national defence and gender does not change when additional predictors are added to the model. The respondents’ age is found be more strongly associated with their personal will to defend the country when controlling for their retirement status. This effect has not previously been identified in the literature and warrants examination in future research. The key finding of the study is the important role of gender and age as predictors of commitment to national defence

"The Most Unforgettable Character I've Met" The Jewish Mother in Philip Roth's Portnoy’s Complaint

De stereotypa egenskaper som har tillskrivits den judiska modern som syndabock inom judiska kretsar under det senaste seklet, påverkar fortsättningsvis vår uppfattning om judiskt moderskap. Grunden lades av de manliga judiska författare och komiker som under mitten av 1900-talet gjorde smutskastning av den judiska modern till en uppskattad konstform i det amerikanska samhället. Med humor och psykoanalys som berättarverktyg, gav den judiske författaren Philip Roth med sin roman och materialet för denna studie, Portnoy’s Complaint (1969), den judiska modern ikonstatus i och med sin karaktärisering av Sophie Portnoy, medierad genom hennes fiktive son Alexander. Denna pro gradu avhandling utreder korrelationen mellan Philip Roths judiska moderskaraktär Sophie, och den stereotypa bilden av den judisk-amerikanska modern som cirkulerade i amerikansk media. Som bakgrund till undersökningen spårades den judiska moderns gradvis förändrade status i Amerika från och med tidigt 1900-tal till tidigt 2000-tal. Den stereotypa judisk-amerikanska modern (JAM), har presenterats som narcissistisk, överbeskyddande, skuldbeläggande, melodramatisk, martyrlik och manipulativ och hennes kärleksfulla uppfostran har negativt ansetts som kvävande och ett hinder för barnens normala utveckling och individualisering. Resultaten av analysen visar att Sophie är den judisk-amerikanska moderstypen personifierad. Hon är den traditionella värnaren om det judiska arvet i Amerika, därav även hennes syndabockroll; den självömkande martyren och självuppoffrerskan; den auktoritära, falliska och kastrerande matriarken; samt den överbeskyddande och inkräktande modern. En intressant upptäckt är emellertid, den positiva presentation av Sophie som bildar en spricka i fasaden. Hon framställs då som en välmenande, kärleksfull kvinna och moder, vilket strider emot Roths övriga bild av henne. Dock använder Roth sig av sarkasm för att få hennes positiva egenskaper att framstå som närmast magiska och orealistiska. Slutligen fungerar Roths karaktärisering av Sophie som en förstärkning av det judiska moderskapets negativa effekter på barnuppfostran, en föreställning som är verksam än idag.fi=Opinnäytetyö kokotekstinä PDF-muodossa.|en=Thesis fulltext in PDF format.|sv=Lärdomsprov tillgängligt som fulltext i PDF-format

A Sustainable Bredäng - Sustainable Densification of a Million Program Area in Stockholm, Sweden

Bredäng, a housing area in southwest Stockholm, was built between 1963 and 1965 as part of The Million Program, a Swedish government program to fix the housing shortage in the country. Bredäng is characterized by its green and blue qualities, but also by its many parking lots, poor public spaces, monotone architecture and storm water issues. Today, the housing shortage is once again an issue, especially in Stockholm. In this thesis, I have investigated how Bredäng can be densified in a sustainable way, in order to improve the conditions of the area and contribute to the growing population of Stockholm. I have analysed the area and looked at precedents, and found a strategy to develop Bredäng in a way that would benefit its current and future residents. The strategy includes mixing building types, strengthening the block identity, increased urbanity along streets, new public plazas, storm water treatment, green roofs and sun cells. The strategy is visualized in a design proposal, containing an urban plan, a bird’s eye view, zoom in-plans, sections and perspective drawings

A rapid shift to remote work during Covid-19 The role of leader and the factors affecting the superior-subordinate relationship in remote work

The Covid-19 breakout worldwide did not only largely impact on the economy and society, but also on numerous employees’ working patterns. Several governments around the world imposed strict restrictions, including commandment to stay at home and adhere to necessary quarantines. One major shift for numerous companies was a rapid shift to 100% remote work in order to keep employees safe. The purpose of this paper is to explore how a rapid shift to remote work during Covid-19 has affected the relationship between superior and subordinate. This thesis investigates whether the identified factors, namely employee motivation, communication, career development and job performance have either positive, negative or neutral affected the superior-subordinate relationship in remote work. Qualitative research method with an exploratory research strategy was chosen for this study. The empirical data was collected by conducting 17 semi-structured interviews, from which ten are superiors and seven are subordinates from various positions, industries and countries. The empirical findings of the study reveal that from the major part a rapid shift to remote work did not remarkably impact the relationship between superiors and subordinates. However, a few interviewees noticed a positive impact on the superior-subordinate relationship, because superiors have to be more aware of subordinates’ personal life in order to better adjust to their subordinates’ new working environment situation. Similarly, interviewed subordinates consider that in remote work, they have better learnt to know their superiors’ personalities than in office work. When it comes to identified factors, empirical findings reveal that only communication has positively impacted the relationship between superiors and subordinates, whereas the impact of other factors, employee motivation, career development and job performance remained neutral on the superior-subordinate relationship. The majority of the interviewees consider that the amount of communication between superior and subordinates has increased in remote work and it is more organized than in office work. Subordinates are satisfied that communications occur more frequently, and also non work-related matters are more discussed that has positively impacted on the relationship between superiors and subordinates. The explanation why the impact of other factors remained neutral on the superior-subordinate relationship is that the majority of the interviewed subordinates and superiors have previous experience of working remotely and they work at specialist level positions. Additionally, for the majority of subordinates the work is relatively independent or includes a lot of projects, when the support from superior is not necessarily needed in everyday work tasks

EDAMUX : A method for measuring User Experience

Background: User experience (UX) is seen as an important quality of a successful product and software companies are becoming increasingly interested in the field of UX. As UX has the goal to improve the experience of users, there is a need for better methods in measuring the actual experience. One aspect of UX is to understand the emotional aspect of experience. Psychophysiology studies the relations between emotions and physiology and electrodermal activity (EDA) has been found to be a physiological measurement of emotional arousal. Aims: The aim of this thesis is researching the utility of measuring EDA to identify moments of emotional arousal during human-computer interaction. By studying peaks in EDA during software interaction we expect to find issues in the software that work as triggers or stimuli for the peaks. Method: We used the design science methodology to develop EDAMUX. EDAMUX is a method to unobtrusively observe users, while gathering significant interaction moments through self reporting and EDA. A qualitative single-case study was conducted to evaluate the utility of EDAMUX. Results: We found that we can discover causes of bad user experience with EDAMUX. Moments of emotional arousal, derived from EDA, was found in conjunction with performance issues, usability issues and bugs. Emotional arousal was also observed during software interaction where the user was blaming themself. Conclusions: EDAMUX shows potential in discovering issues in software that are difficult to find with methods that rely on subjective self-reporting. Having the potential to objectively study emotional reactions is seen as valuable in complementing existing methods of measuring user experience

Rytm, produkter för ett nytt tempo

Det västerländska tempot är idag snabbare än någonsin förut, vilket leder till problem så som utbrändhet och negativ stress. Syftet med arbetet är att definiera orsaker till västvärldens livstakt ur ett individperspektiv och presentera möjliga lösningar till en mera hållbar livstakt genom produktdesign. Vilka typer av vardagsföremål kunde uppmuntra människan att omvärdera tiden, att sakta in och i längden hitta en mera hållbar livstakt? I avhandlingens faktainsamlingsdel definierar jag orsaker till den moderna kulturens tempo, dels genom att kartlägga hur vi uppfattar och ordnar tiden och rummet idag jämfört med förr. Jag lyfter fram tidspress som ett kännetecken för den västerländska kulturen, faktorer som bidrar till tidspress, symptom och möjliga förändringar för att minska tidspressen. Jag ringar in vårt behov av ställtid, gemensamma värderingar och sociala och fysiska sammanhang. Forskningen ger resultatet att till exempel gemensamma måltider och egen tid är viktiga för välbefinnandet. Även möjligheten att följa naturens rytm och årstidsväxlingar bidrar till ett naturligare tempo. Utgående från detta utvecklar jag ett matbord och en ljusstake, där bordet ger platsen och ljuset ger tiden. Dessa två är de första produkterna i vad jag kallar Rytm, produkter för ett nytt tempo. På produktnivå vill jag ifrågasätta dagens massproducerade och konsumtionsinriktade samhälle som delvis är en orsak till den ökade tidspressen. Jag vill lyfta fram fördelarna med att förankra formspråk, materialval och produktion i ett lokalt sammanhang. Dagens teknik möjliggör modernisering och nyanvändning av gamla tekniker, vilket i sin tur kunde innebära färre delmoment och mindre materialspill. Bordet och ljusstaken Rytm är till formspråk, material och teknik inspirerade av Österbotten, dess historia och folkkultur. I centrum av bordet, som är tillverkat av asp och björk, finns ett hål där ljusstaken har sin givna plats. Ljusstaken i keramik har ett utskuret mönster som kastar en skugga, som långsamt förändras med tiden, på bordets yta. I takt med årstiderna kan ljusstaken användas som kruka eller vas för plantering. Två av bordets ben kommer upp genom bordsskivan och indikerar på så sätt femton minuter, en kvart. Det blir en påminnelse om att sätta sig ner och ta det lugnt, om än bara för en kort stund. Bordets underrede är fäst vid bordsskivan med kilar, en mycket gammal teknik, och konstruktionen kräver därför inga möbelskruvar eller andra beslag. Produktkollektionen Rytm ämnar inte fungera som en allmängiltig lösning på hur våra liv kunde bli mindre stressiga, utan dess huvudsakliga uppgift är att uppmärksamma oss om att det borde vara allmänt accepterat att varva ner och att ta tid för sig själv

Motivation till förbättringsarbete : Oy Ahola Transport Ab

Målet med detta arbete var att förmedla en djupare insikt i hur man motiverar personal till förbättringsarbete. Vi undersökte hur man motiverar personal till förbättringsarbete med hjälp av kvalitativa, semistrukturerade personliga – och parintervjuer. Genom undersökningen kunde vi dra slutsatser om hur man kan motivera personal till förbättringsarbete. Förbättringsarbete har blivit en allt viktigare del av det dagliga arbetet på många företag. För att bl.a. kunna skapa och bibehålla konkurrenskraft behöver man effektivera verksamheten och skapa ett nytt tankesätt inom organisationen. Ständiga förbättringar handlar därmed om att förändra tanke- och arbetssätt. För att kunna förändra verksamheten behövs motiverade medarbetare som kan delta i förbättringsarbetet. Motivation beskriver hur engagerad någon är för att få något till stånd. Det finns många olika faktorer som driver och motiverar en människa att arbeta för ett visst mål, och för att kunna motivera medarbetare behöver man vara medveten om detta Som uppdragsgivare för detta arbete står Ahola Transport. Ahola Transport är ett transportföretag som utför transporter för industrin och handeln inom Norden och Europa. På Ahola Transport arbetar man aktivt med ständiga förbättringar, och därför är en studie i hur man motiverar personalen till förbättringsarbete relevant för uppdragsgivaren. Vi använde oss av en kvalitativ undersökningsmetod eftersom vi ansåg att vi genom en kvantitativ undersökning inte skulle ha fått den information vi sökte. Vår undersökning bestod av intervjuer med tolv respondenter från åtta olika företag som jobbar med ständiga förbättringar. Ledningen bär ansvaret för att medarbetarna hålls motiverade till förbättringsarbete. Det viktigaste i frågan om motivation är att ge medarbetarna ansvar och befogenheter, låta dem vara delaktiga, och belöna antingen med beröm eller annan form av belöning. Men huvudsaken är att de blir sedda och får ett tack för vad de utfört. Med tanke på att det är ledningen som styr förbättringsarbete, men det är medarbetarna som i huvudsak utför det praktiska förbättringsarbete, så anser vi att det är viktigt med regelbundna informations- och disskusionstillfällen.The aim of this study was to provide a wider knowledge in how to motivate the personnel to work with continuous improvements. We have studied how to motivate employees to continues improvement work through qualitative semi-structured personal- and couple interviews. We have through the survey been able to draw conclusions about how to motivate employees to improwement works. Continuous improvement work has become even more important in the daily work at many companies. In order to e.g. gain and maintain competitiveness one need to intensify the operation and create a new way of thinking within the organisation. Continues improvements can therefore be explained as changing the way of thinking and working. In order to change the operation motivated personnel that can participate in the improvement work is needed. Motivation describes how engaged someone is to get something about. There are many factors that pushes and motivates a person to work for a specific goal and these need to be known in order to be able to gain motivation. The assigner of this thesis was the transport company Ahola Transport. Ahola Transport is a transport company that performs road transports for the industry and trade inside the Nordic countries and Europe. At Ahola Transport they are working with contiuous improvements and therefore is a study in how to motivate personnel of high relevance. We have in this thesis used a qualitative survey method because we felt that we in that way would have a chance to gain information that we wouldn´t if we had used a quantitative survey. Our survey consist of interviews with tvelwe respondents from eight different companies that work with continuous improvements. The management are responsible for keeping the employees motivated. The most important is to give the employees responsibility and authority, to let them be involved, and reward either through praise of some other form of reward. The point is that they are seen and receive a thank you for the work they have done. Because the management is controlling the improvement work, but the emplyees are carrying out the practical improvement work , we feel that regular information and discussion opportunities are very important

What a Waste : Ett examensarbete med återvinning i fokus

Modeindustrin är en av de största industrierna och sysselsätter så mycket som en sjättedel av världens befolkning. Vi har otroliga mängder kläder och textilier i omlopp hela tiden och i dagsläget konsumerar vi mera än någonsin förut. Detta leder till att vi även gör oss av med enorma mängder kläder och textilier varje år. Av dessa är det tyvärr endast en väldigt liten del som samlas in till återvinning eller återanvändning, och en allt för stor del blir deponiavfall och grävs ner på våra avstjälpningsplatser. Som blivande formgivare inom beklädnadsbranschen vill jag kunna skapa vackra och tilltalande kläder med gott samvete. I vårt redan överkonsumerande samhälle vill jag inte bidra med ytterligare produkter som tär på våra naturresurser, förorenar miljön både i produktionen och användningen, och som en dag slängs bort och hamnar på en soptipp, där de lämnar ytterligare negativa avtryck efter sig. Modeindustrin är en komplex industri i behov av radikala reformer och därför vill jag med detta arbete undersöka ett koncept som intresserar mig då det kommer till hållbar formgivning; att jobba med återanvändning av material. I teoridelen av detta arbete undersöker jag modeindustrins problemområden, med fokus på kläder och textilier som avfall. Jag kontaktar även Globe Hope och Mereija som är två framgångsrika företag i återvinningsbranschen och tar reda på vad de har för tankar kring ämnet. I den praktiska delen av arbetet tillverkar jag två jackor och en cape från min kollektion A Winter Story i återanvända material och undersöker om detta arbetssätt kunde vara ett fungerande affärskoncept för mig som formgivare i framtiden. Det jag kommer fram till är att återanvändning av material kan vara ett fungerande koncept, men att grunda ett företag på dessa principer är en utmaning.Muotiteollisuus kuuluu suurimpiin teollisuusaloihin ja työllistää jopa kuudesosan maailman väestöstä. Meillä on uskomaton määrä vaatteita ja tekstiilituotteita kierrossa koko ajan, ja tällä hetkellä kulutamme enemmän kuin koskaan aikaisemmin. Tästä johtuen heitämme myös vuosittain pois valtavia määriä vaatteita ja tekstiilejä. Näistä valitettavan pieni osa tulee kierrätykseen tai uudelleen käyttöön, ja liian suuri osa päätyy kaatopaikoillemme. Tulevana vaatetusalan muotoilijana tahdon luoda kauniita ja miellyttäviä vaatteita hyvällä omatunnolla. Tässä yhteiskunnassamme, jossa jo kulutamme aivan liikaa, en tahdo tuottaa lisää tuotteita jotka kuluttavat luonnonvaroja, saastuttavat ympäristöä sekä tuotannossa että käytössä, ja jotka lopulta joutuvat kaatopaikalle jättäen vielä pahan jäljen jälkeensä. Muotiteollisuus on monimutkainen teollisuus, jossa vaadittaisiin perinpohjaisia uudistuksia ja siksi tahdon työlläni tutkia konseptia joka kiinnostaa minua kestävän muotoilun alalla: luoda uutta jo olemassa olevasta tuotteesta, työskennellä vaatteiden ja tekstiilien uudelleenkäytön alalla. Työni teoriaosassa tutkin muotiteollisuuden ongelma-aloja, keskittyen vaatteisiin ja tekstiileihin jätteinä. Otan myös yhteyttä uusiokäyttöalan kahteen menestyvään yritykseen, Globe Hope ja Mereija, ja selvitän heidän ajatuksia aiheesta. Käytännön osassa valmistan kaksi takkia ja yhden viitan mallistostani A Winter Story uusiomateriaaleista, sekä tutkin voisiko tällainen työtapa olla tulevaisuudessa toimiva yrityskonsepti minulle muotoilijana. Tulokseni on, että materiaalien uusiokäyttö voi olla toimiva konsepti, mutta yrityksen perustaminen näiden periaatteiden pohjalta on haaste.The fashion industy is one of our biggest industries and employs as much as one sixth of the world’s population. There is an unbelieveable amount of clothes and textiles in circulation every day, and we consume more than ever before. As a result of this we also throw away huge amounts of clothes and textiles every year, and of all the clothes we throw away only a very small amount is collected and recycled, most of them become landfill or are incinerated. As a soon to be designer in the clothing industry I want to be able to create beautiful and attractive clothes with a clean conscience. In this overconsuming society of ours I don’t want to contribute with more stuff that wear on, and pollute, our environment, both in the production phase and in the usage, and that eventually end up in a garbage dump somewhere where they do even more damage. The fashion industy is complex and in need of some serious change. With this work i therefore want to analyze a concept that interests me in terms if sustainable design; the concept of working with recycled materials. I the theoretical part of this work I study some of the problem areas of today’s fashion industry, focusing on clothes and textiles as waste. I also contact Globe Hope and Mereija, two successful businesses working in this field, to hear what comments they have on the subject. In the practical part of this work I make two coats and one cape from my collection A Winter Story, using recycled materials, and analyze whether this way to work could be a functional business idea for me as a future designer. The results of this work show that working with recycled materials could be a functional concept for a business, but starting up a company based on these values would be a challenge