Search for dissertations about: "propositional modality"
Found 3 swedish dissertations containing the words propositional modality.
-
1. Modality and Subordinators in the Germanic Languages and beyond
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
-
2. Modality in Kazakh as spoken in China
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
-
3. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory
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