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; Lund University.; Lunds universitet.; [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 : I undertake a metaphysical investigation of Saul Kripke's modern classic, Naming and Necessity (1980). The general problem of my study may be expressed as follows: What is the metaphysical justification of the validity and existence of the pertinent classes of truths, the necessary a posteriori and the contingent a priori, according to the Kripke Paradigm? My approach is meant to disclose the logical and ontological principles underlying Kripke's arguments for the necessary a posteriori and the contingent a priori respectively. 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; Lund University.; Lunds universitet.; [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