Search for dissertations about: "logical omniscience problem"

Found 2 swedish dissertations containing the words logical omniscience problem.

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

    University dissertation from Stockholm : KTH

    Author : Mika Cohen; Mads Dam; Alessio Lomuscio; [2007]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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

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

    University dissertation from Stockholm : Department of Philosophy, Stockholm University

    Author : Eric Johannesson; Peter Pagin; Dag Westerståhl; Graeme Forbes; [2017]
    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