Sökning: "Modal logic"

Visar resultat 6 - 10 av 18 avhandlingar innehållade orden Modal logic.

  1. 6. Term-modal logic and quantifier-free dynamic assignment logic

    Författare :Lars Thalmann; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information technology; Informationsteknik;

    Sammanfattning : In this dissertation, we present two new sorts of computer sciencelogics. Many powerful logics exist today for reasoning about multi-agentsystems, but in most of these it is hard to reason about an infiniteor indeterminate number of agents. Also the naming schemes used inthe logics often lack expressiveness to name agents in an intuitiveway. LÄS MER

  3. 7. Varieties of Necessity in John Buridan : Logic and Natural Philosophy in the Late Middle Ages

    Författare :Guido Alt; Henrik Lagerlund; Jack Zupko; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; History of Philosophy; John Buridan; Medieval Philosophy; Medieval Logic; Natural Philosophy; Nominalism; Modality; Natural Necessity; History of Logic; Philosophy in the Fourteenth Century; Philosophy; filosofi;

    Sammanfattning : This dissertation is a study of John Buridan's (c.1300-c.1361) conception of modalities. Modal concepts - concepts of necessity, possibility, impossibility, and contingency - describe the ways in which things could and could not be otherwise. LÄS MER

  4. 8. 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

  5. 9. A case-based multi-modal clinical system for stress management

    Författare :Mobyen Uddin Ahmed; Peter Funk; Ning Xiong; Bo von Schéele; Nosrat Shahsavar; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stress management; diagnosis and treatment; multi-purpose and multi-modal; Case-based reasoning; textual information retrieval; rule-based reasoning; and fuzzy logic; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Sammanfattning : A difficult issue in stress management is to use biomedical sensor signal in the diagnosis and treatment of stress. Clinicians often make their diagnosis and decision based on manual inspection of physiological signals such as, ECG, heart rate, finger temperature etc. LÄS MER

  7. 10. Interrogative Belief Revision

    Författare :Sebastian Enqvist; Teoretisk filosofi; []
    Nyckelord :HUMANIORA; HUMANITIES; belief revision; questions; modal logic; research agenda;

    Sammanfattning : This thesis deals with the theory of interrogative belief revision, a recent development in the subfield of philosophical logic known as belief revision theory. While classical belief revision theory deals with the dynamics of an agent’s beliefs, interrogative belief revision aims to describe the dynamics of the agent’s questions about the world, or research agenda, as well. LÄS MER