Sökning: "Modal logic"

Visar resultat 11 - 15 av 18 avhandlingar innehållade orden Modal logic.

1. 11. Languages, Logics, Types and Tools for Concurrent System Modelling

   Författare :Ramūnas Gutkovas; Johannes Borgström; Björn Victor; Thomas T. Hildebrandt; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculus; modal logic; session types; tool; Computer Science; Datavetenskap;

   Sammanfattning : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. LÄS MER

3. 12. Lärares dilemman

   Författare :Helge Räihä; Per Ledin; Kajsa Falkner; Jan Anward; Örebro universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; teacher; dilemma; media; trust; derivation; rationality; connective; logical; predicative; modal; Swedish language; Svenska språket; Svenska språket; Swedish Language;

   Sammanfattning : The topic of the present dissertation is teachers’ everyday dilemmas and the use of language to deal with these dilemmas. The concept of dilemma is compared to the concept of risk and the concept of paradox. The theoretical background consists of sociological systems theory and linguistic pragmatic theory. LÄS MER

4. 13. Analyticity, Necessity and Belief : Aspects of two-dimensional semantics

   Författare :Eric Johannesson; Peter Pagin; Dag Westerståhl; Graeme Forbes; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; two-dimensional semantics; quantified modal logic; propositional attitudes; belief ascriptions; Kripke; descriptivism; necessity; apriority; analyticity; Theoretical Philosophy; teoretisk filosofi;

   Sammanfattning : A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. LÄS MER

5. 14. 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. 15. Measuring the Power of Arithmetical Theories

   Författare :Jörgen Sjögren; Högskolan i Skövde; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; HUMANIORA; HUMANITIES; Other mathematics; Övrig matematik; Philosophy subjects; Filosofiämnen;

   Sammanfattning : This thesis discusses the possibility to measure the power of extentions of Peano Aritmetic, P A. It consists of three parts, an introduction and two separately written papers. LÄS MER