Sökning: "Modal logic"

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

  1. 16. Logics and Algorithms for Verification of Concurrent Systems

    Författare :Rafał Somla; Wang Yi; Michael Reichhardt Hansen; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Sammanfattning : In this thesis we investigate how the known framework of automatic formal verification by model checking can be extended in different directions. One extension is to go beyond the common limitation of the existing specification formalisms, that they can describe only regular properties of components. LÄS MER

  3. 17. Textmedierade virtuella världar : Narration, perception och kognition

    Författare :Ulf Pettersson; Lars Elleström; Paul Tenngart; Linnéuniversitetet; []
    Nyckelord :HUMANIORA; HUMANITIES; intermediality; virtual worlds; possible worlds; fictional worlds; storyworlds; reader response; semiotics; Gestalt psychology; cognitive linguistics; cognitive psychology; cognitive poetics; reading process; mental models; situation models; schemata; scripts; narratology; diegetic levels; focalization; transactional theory; iconicity; immersion; aesthetic illusion; gaps; concretization; mental places; integration network models; blending; conceptual metaphors; Intermedialitet; läsprocess; mentala bilder; mentala modeller; möjliga världar; fiktionsvärldar; virtuella världar; mentala platser; semiotik; kognitionsforskning; kognitiv semantik; kognitiv lingvistik; kognitiv poetik; narratologi; fokalisering; diegetiska nivåer; luckor; schemata; scripts; estetisk illusion; ikonicitet;

    Sammanfattning : This thesis synthezises theories from intermedia studies, semiotics, Gestalt psychology, cognitive linguistics, cognitive psychology, cognitive poetics, reader response criticism, narratology and possible worlds-theories adjusted to literary studies. The aim is to provide a transdisciplinary explanatory model of the transaction between text and reader during the reading process resulting in the reader experiencing a mental, virtual world. LÄS MER

  4. 18. Evaluation of bus priority strategiesin coordinated traffic signal systems

    Författare :Johan Wahlstedt; Karl-Lennart Bång; Haris Koutsopoulos; Lars-Göran Mattsson; Kosonen Iisakki; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Bus priority; public transport priority; transit priority; PTSP; TSP; traffic signal; traffic signal control; traffic signal control systems; self-optimising signal control; PRIBUSS; SIL simulation; traffic simulation; Transportvetenskap; Transport Science;

    Sammanfattning : Increasing congestion and environmental concerns have evoked an interest in promoting urban Public Transport (PT) the last decades. In 2012 the City of Stockholm adopted an “Urban mobility strategy” stating that public transport, cycling and walking should be prioritised over cars in central Stockholm. LÄS MER