Search for dissertations about: "logical"

Showing result 1 - 5 of 293 swedish dissertations containing the word logical.

2. 1. First-Order Logic and Classical Theism : Toward Logical Reorientation

   Author : Anders Kraal; Eberhard Herrmann; Mikael Stenmark; Simo Knuuttila; Uppsala universitet; []
   Keywords : HUMANIORA; HUMANITIES; classical theism; divine simplicity; divine attributes; God; Augustine; Thomas Aquinas; first-order logic; formalization; argument-function analysis; quantifier analysis; bivalence; natural deduction; truth-bearer; inference; inference rule; logical validity; logical pluralism; logical monism; G. Frege; B. Russell; L. Wittgenstein; R. Carnap; J. Maritain; J. Salamucha; J. Bocheński; W.V.O. Quine.; Religion Theology; Religionsvetenskap Teologi;

   Abstract : This inquiry seeks an answer to the question whether classical theistic doctrines about the nature of God are amenable to formal analysis in terms of standard first-order logic. It is argued that due to the conceptual impact of classical theism’s doctrine of divine simplicity there is a good reason for answering this question in the negative. READ MORE

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

5. 3. Capacity Management with Logical Links

   Author : Sven-Olof Larsson; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ATM; Capacity Management; Dynamic Reallocation of Resources;

   Abstract : To be able to guarantee a certain level of service quality, for different services, one can reserve capacity for these along selected paths through the network. By doing this, one can better control the traffic streams so that the total capacity in the network is used well and so that the services receives the needed quality for the customers. READ MORE

6. 4. Norms and Alternatives : Logical Aspects of Normative Reasoning

   Author : Karl Nygren; Valentin Goranko; Dag Westerståhl; Ivano Ciardelli; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; alternative semantics; norms; normative systems; deontic logic; modal logic; inquisitive semantics; inquisitive logic; semantics of questions; disjunction; free choice; obligation; permission; action; normative reasoning; ignorance; axiomatic system; completeness; Philosophy; filosofi;

   Abstract : In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. READ MORE

7. 5. Fundamentals and logical foundations of truth maintenance

   Author : Michael Reinfrank; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Despite their importance in AI problem solving, nonmonotonic truth maintenance systems (TMSs) still lack sufficiently well-understood logical foundations. In this thesis, I present a rigorous logical theory of TMSs. I pursue a two-step, bottom-up approach. First, I specify a direct, but implementation-independent, theory of truth maintenance. READ MORE