Search for dissertations about: "propositional modality"

Found 3 swedish dissertations containing the words propositional modality.

  2. 1. Modality and Subordinators in the Germanic Languages and beyond

    Author : Jackie Nordström; tolkning i offentlig sektor och översättning danska och isländska Avdelningen för svenska; []
    Keywords : HUMANIORA; HUMANITIES; Germanic languages; factuality; subordinators; modality; propositional modality; general subordinators; that; if; whether; indicative; subjunctive; epistemic modality; irrealis; realis; Swedish;

    Abstract : This thesis argues that general subordinators, such as the Germanic THAT and IF, denote propositional modality. Propositional modality stands for the “speaker’s attitude to the truth-value or factual status of the proposition” (Palmer 2001:24) and is otherwise expressed by moods such as the indicative-subjunctive and epistemic-evidential modal markers. READ MORE

  4. 2. Modality in Kazakh as spoken in China

    Author : Aynur Abish; Eva Agnes Csato Johanson; Lars Johanson; László Károly; Uppsala universitet; []
    Keywords : HUMANIORA; HUMANITIES; Turkic languages; Kazakh; modality; Turkiska språk; Turkic languages;

    Abstract : This is a comprehensive study on expressions of modality in one of the largest Turkic languages, Kazakh, as it is spoken in China. Kazakh is the official language of the Republic of Kazakhstan and is furthermore spoken by about one and a half million people in China in the Xinjiang Uyghur Autonomous Region and in Aksai Kazakh Autonomous County in Gansu Province. READ MORE

  5. 3. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

    Author : Andrea Vezzosi; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

    Abstract : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. READ MORE