Search for dissertations about: "epistemic logic"

Showing result 6 - 10 of 14 swedish dissertations containing the words epistemic logic.

  2. 6. Privacy Policies for Social Networks - A Formal Approach

    Author : Raul Pardo Jimenez; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; privacy; formal methods; online social networks; epistemic logic;

    Abstract : Online Social Networks (OSNs) are ubiquitous, with more than 70% of Internet users being part of them. The pervasive nature of OSNs brings many threats and challenges, privacy being one of them. Very often the available privacy protection mechanisms in OSNs do not meet users requirements. READ MORE

  4. 7. Towards a many-valued logic of quantified belief

    Author : Dimiter Driankov; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We consider a logic which "truth-values" are represented as quantified belief/disbelief pairs, thus integrating reports on how strongly the truth of a proposition is believed, and how strongly it is disbelieved. In this context a major motive for the logic proposed is, that it should not lead (as in classical logic) to irrelevant conclusions when contradictory beliefs are encountered. READ MORE

  5. 8. Interrogative Belief Revision

    Author : Sebastian Enqvist; Teoretisk filosofi; []
    Keywords : HUMANIORA; HUMANITIES; belief revision; questions; modal logic; research agenda;

    Abstract : This thesis deals with the theory of interrogative belief revision, a recent development in the subfield of philosophical logic known as belief revision theory. While classical belief revision theory deals with the dynamics of an agent’s beliefs, interrogative belief revision aims to describe the dynamics of the agent’s questions about the world, or research agenda, as well. READ MORE

  6. 9. A Two-Front Battle. On the Justification of Empirical Beliefs

    Author : Roland Poirier Martinsson; Filosofiska institutionen; []
    Keywords : HUMANIORA; HUMANITIES; Philosophical logic; tolerance; empiricism; justification; reliabilism; coherence; foundationalism; Teoretisk filosofi; logik;

    Abstract : The question of what justifies empirical beliefs is traditionally answered either by reference to basic empirical beliefs that receive justification from something outside of the epistemic subject’s conceptual sphere or by reference to justification through coherence, in the sense that empirical beliefs are justified through their semantic relations to other beliefs. Typical of both kinds of answers is that they aim at a general notion of belief justification. READ MORE

  7. 10. Languages and Linguistic Exchanges in Swedish Academia : Practices, Processes, and Globalizing Markets

    Author : Linus Salö; Kenneth Hyltenstam; Christopher Stroud; Monica Heller; Stockholms universitet; []
    Keywords : HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; English in Sweden; language planning and policy; epistemic reflexivity; language ideology; entextualization; Bourdieu; habitus; field; Bilingualism; tvåspråkighet;

    Abstract : Based on four separate studies, this thesis deals with Swedish academia and its dwellers, with an eye toward accounting for matters of languages and linguistic exchanges. The perspectives and thinking-tools of Pierre Bourdieu form the basis of the main leitmotif, albeit extended with insights from linguistic anthropology and sociolinguistics. READ MORE