Search for dissertations about: "dynamic logic"

Showing result 1 - 5 of 70 swedish dissertations containing the words dynamic logic.

  1. 1. Proving and Disproving in Dynamic Logic for Java

    Author : Philipp Rümmer; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; theorem proving; disproving; dynamic logic; program verification; testing;

    Abstract : This thesis is about proving the functional correctness and incorrectness of imperative, object-oriented programs. One of the main approaches for the first item is deductive program verification, whereas the second item is traditionally handled by techniques like testing. READ MORE

  2. 2. Term-modal logic and quantifier-free dynamic assignment logic

    Author : Lars Thalmann; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; Information technology; Informationsteknik;

    Abstract : 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. READ MORE

  3. 3. Logical Dynamics and Dynamical Systems

    Author : Rasmus Kraemmer Rendsvig; Lund University Information Quality Research Group (LUIQ); []
    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

  4. 4. Modelling and Simulation of Dynamic Behaviour in Crushing Plants

    Author : Gauti Asbjörnsson; Chalmers University of Technology; []
    Keywords : Crushing; Dynamic Simulation; Modelling; Screening;

    Abstract : Crushing plants are a vital part in the production of aggregates and metals. Plants are traditionally simulated with a steady-state simulation. With steady-state simulation the plant is simulated until equilibrium is achieved. READ MORE

  5. 5. Modelling object-oriented dynamic systems using a logic-based framework

    Author : Choong-ho Yi; Linköpings universitet; []

    Abstract : We observe that object-oriented (OO) formalisms and specification languages are popular and obviously useful, and, in particular, that they are increasingly used even for systems that change over time. At the same time, however, the system specification is not precise enough in these approaches. READ MORE