Search for dissertations about: "logical frameworks"

Showing result 1 - 5 of 17 swedish dissertations containing the words logical frameworks.

  2. 1. Norms and Alternatives : Logical Aspects of Normative Reasoning

    Author : Karl Nygren; Valentin Goranko; Dag Westerståhl; Ivano Ciardelli; Stockholms universitet; []
    Keywords : HUMANIORA; HUMANITIES; alternative semantics; norms; normative systems; deontic logic; modal logic; inquisitive semantics; inquisitive logic; semantics of questions; disjunction; free choice; obligation; permission; action; normative reasoning; ignorance; axiomatic system; completeness; Philosophy; filosofi;

    Abstract : In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. READ MORE

  4. 2. Relations in Dependent Type Theory

    Author : Carlos Gonzalía; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE

  5. 3. Reflection Principles in Computational Logic

    Author : Pierangelo Dell'Acqua; Jonas Barklund; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Abstract : We introduce the concept of reflection principles as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the domain knowledge to be modelled. READ MORE

  6. 4. The human dimension in TQM : learning, training and motivation

    Author : Su Mi Park Dahlgaard; Linköpings universitet; []
    Keywords : Kvalitetsstyrning; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Abstract : The overall aim of this dissertation is to study and to explore the human dimension in TQM with focus on learning, training and motivation. The exploration of the evolution of TQM depict the theory of TQM as shaped from a narrow mechanistic apporach to a more humanistic apporach with focus on the human dimension thgough Japanese managerial practices inspired by ideas from western theoreticians. READ MORE

  7. 5. Geographical Information Technologies – Decision Support for Road Maintenance in Uganda

    Author : Lydia Mazzi Kayondo-Ndandiko; Blekinge Tekniska Högskola; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Data Model; Dynamic Segmentation; Geographical Information Technologies GITs ; Geographical Information Systems for Transportation GIS-T ; Linear referencing; Methodological Framework; Research and Development; Road maintenance; Road Infrastructure Maintenance RIM ; Science Technology and Innovation; Spatial Data Infrastructure; Uganda;

    Abstract : This study set out to develop a framework within which the use of Geographical Information Technologies (GITs) can be enhanced in Road Infrastructure Maintenance (RIM) in Uganda. Specifically it was guided by 3 objectives; 1. To assess the gaps in the use of GITs for RIM in Uganda and the limitations to accessing these technologies, 2. READ MORE