Search for dissertations about: "epistemic logic"

Showing result 1 - 5 of 14 swedish dissertations containing the words epistemic logic.

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

    University dissertation from Stockholm : KTH

    Author : Mika Cohen; KTH.; [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. Kripke on Necessity : A Metaphysical Investigation

    University dissertation from Theoretical Philosophy

    Author : Kyriakos Theodoridis; Lunds universitet.; Lund University.; [2005]
    Keywords : HUMANIORA; HUMANITIES; ethics; Systematic philosophy; conceivability; mereological identity; ontological character; identity; possible worlds; actuality; properties; ontology; object; contingency; apriori; Metaphysical; epistemic; aesthetics; metaphysics; epistemology; ideology; Systematisk filosofi; etik; estetik; metafysik; kunskapsteori; ideologi; Philosophical logic; Filosofisk logik; logik;

    Abstract : Popular Abstract in Swedish Den övergripande problemformuleringen i min doktorsavhandling, Kripke on Necessity: A Metaphysical Investigation, kan formuleras på följande sätt: På vilka metafysiska grunder rättfärdigar Kripke giltigheten och existensen av nödvändiga a posteriori och kontingenta a priori satser? Jag visar att Kripke-paradigmet för den metafysiska essentialismen vilar på ett fundamentalt antagande, nämligen Oberoendeaxiomet, som kan formuleras på följande vis: De metafysiska och epistemiska domänerna är distinkta och ömsesidigt oberoende. Min undersökning avser att synliggöra de logiska och ontologiska konsekvenser som följer av detta axiom med avseende på en rad Kripkeanska teser, så som: identitetsprincipen, rigid designation, nödvändiga och kontingenta egenskaper, föremålsbegreppet samt tänkbarhetsprincipen (conceivability). READ MORE

  3. 3. Ceteris Paribus in Conservative Epistemic Change

    University dissertation from Peter Lang Publishing Group

    Author : Frank Zenker; [2009]
    Keywords : HUMANIORA; HUMANITIES; minimal change; mercury anomaly; ceteris paribus laws; completeness assumptions; epistemic entrenchment;

    Abstract : This work contrasts conservative or minimally mutilating revisions of empirical theories as they are identified in the presently dominant AGM model of formal belief revision and the structuralist program for the reconstruction of empirical theories. The aim is to make understandable why both approaches only partly succeed in substantially informing and formally restraining the issue. READ MORE

  4. 4. On the Logic of Theory Change Extending the AGM Model

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Eduardo Fermé; KTH.; [2011]
    Keywords : HUMANIORA; HUMANITIES; Logic of Theory Change. AGM model. Belief Bases; Iterated Models; Multiple belief change; AGM and defeasible Logic; HUMANITIES and RELIGION History and philosophy subjects Philosophy subjects Logic; HUMANIORA och RELIGIONSVETENSKAP Historisk-filosofiska ämnen Filosofiämnen Logik;

    Abstract : This thesis consists in six articles and a comprehensive summary.• The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. READ MORE

  5. 5. Logical Dynamics and Dynamical Systems

    University dissertation from Media-Tryck, Lund University, Sweden

    Author : Rasmus Kraemmer Rendsvig; Lunds universitet.; Lund University.; [2018-02]
    Keywords : Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology;

    Abstract : This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. READ MORE