Sökning: "epistemic logic"

Visar resultat 1 - 5 av 16 avhandlingar innehållade orden epistemic logic.

1. 1. On the Logic of Theory Change : Extending the AGM Model

   Författare :Eduardo Fermé; John Cantwell; David Makinson; KTH; []
   Nyckelord :HUMANIORA; HUMANITIES; Logic of Theory Change. AGM model. Belief Bases; Iterated Models; Multiple belief change; AGM and defeasible Logic; Logic; Logik;

   Sammanfattning : 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. LÄS MER

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

   Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

4. 3. Flyktiga möten : Fågelskådning, epistemisk gemenskap och icke-mänsklig karisma

   Författare :Elin Lundquist; Lars Kaijser; Willim Robert; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Epistemic community; epistemic practice; nonhuman charisma; birdwatching; ethnography; Ethnology; etnologi;

   Sammanfattning : This thesis investigates birdwatching and focuses on the knowledges, skills and ideas that are obtained and acknowledged among birdwatchers. The aim is to explore how these ways of relating to birds are constituted. Birdwatching is considered as an epistemic practice, which produce and maintain knowledge. LÄS MER

5. 4. Kripke on Necessity : A Metaphysical Investigation

   Författare :Kyriakos Theodoridis; Teoretisk filosofi; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

7. 5. Logical Dynamics and Dynamical Systems

   Författare :Rasmus Kraemmer Rendsvig; Lund University Information Quality Research Group (LUIQ); []
   Nyckelord :Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology;

   Sammanfattning : 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. LÄS MER