Advanced search

Found 2 swedish dissertations matching the above criteria.

  2. 1. Logics of Knowledge and Cryptography : Completeness and Expressiveness

    Author : Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

    Abstract : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. READ MORE

  4. 2. Analyticity, Necessity and Belief : Aspects of two-dimensional semantics

    Author : Eric Johannesson; Peter Pagin; Dag Westerståhl; Graeme Forbes; Stockholms universitet; []
    Keywords : HUMANIORA; HUMANITIES; two-dimensional semantics; quantified modal logic; propositional attitudes; belief ascriptions; Kripke; descriptivism; necessity; apriority; analyticity; Theoretical Philosophy; teoretisk filosofi;

    Abstract : A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. READ MORE