Sökning: "Dynamic Logic"

Visar resultat 1 - 5 av 87 avhandlingar innehållade orden Dynamic Logic.

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

   Författare :Philipp Rümmer; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; theorem proving; disproving; dynamic logic; program verification; testing;

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

3. 2. Constructive Newton–Puiseux Theorem, Sheaf Model of the Separable Closure and Dynamic Evaluation

   Författare :Bassel Mannaa; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Newton–Puiseux; Algebraic curve; Sheaf model; Dynamic evaluation; Algebraic number; Grothendieck topos; Grothendieck topos;

   Sammanfattning : Computing the Puiseux expansions of a plane algebraic curve defined by an affine equation over an algebraically closed field is a an important algorithm in algebraic geometry. This is the so-called Newton–Puiseux Theorem. The termination of this algorithm, however, is usually justified by non-constructive means. LÄS MER

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

5. 4. Truth and Proof in the Long Run: Essays on Trial and-Error Logics

   Författare :Martin Kaså; Göteborgs universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; convergence; dynamic meaning; experimental logics; knowable consistency; tableaux systems; trial-and-error;

   Sammanfattning : The theme of this book is convergence. For many philosophical representations of the evolution of theories, as well as representations of the meaning of the language used to express these theories, it has been essential that there exists some kind of convergence. LÄS MER

7. 5. Organisationslogik i samverkan : konsten att organisera samverkan i en imaginär organisation av offentliga aktörer

   Författare :Rebecca Stenberg; Kjell Granström; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Psychology; Psykologi; psykologi; Psychology;

   Sammanfattning : The aim of the study was to understand what it means for different public organizational actors to cooperate in an imaginary organization, transcending formal organizational boundaries. A qualitative case study was conducted in an organization composed of four public organizations in the welfare sector. LÄS MER