03891nam 2200385 450 991077478910332120230330161044.01-000-51396-3(CKB)4900000000547646(NjHacI)994900000000547646(EXLCZ)99490000000054764620230330d2022 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierIntermedial Studies An Introduction to Meaning Across Media /Jørgen Bruhn, Beate Schirrmacher[Place of publication not identified] :Taylor & Francis (Unlimited),2022.1 online resource (354 pages)1-03-200454-1 Part One: INTRODUCING INTERMEDIAL STUDIES -- 1. Intermedial studiesJorgen Bruhn and Beate Schirrmacher -- 2. Media and Modalities - FilmSigne Kjaer Jensen and Niklas Salmose -- 3. Media and Modalities - LiteraturePedro Ata and Beate Schirrmacher -- 4. Media and Modalities - Music Signe Kjaer Jensen and Martin Knust -- 5. Media and Modalities - Computer GamesPeter Kristof Makai -- 6. Media and Modalities - News MediaKristoffer Holt and Beate Schirrmacher -- Part Two: INTERMEDIAL ANALYSIS: The three fundamental intermedial relations -- 7. Media Combination, Transmediation and Media RepresentationJorgen Bruhn and Beate Schirrmacher -- 8. Intermedial CombinationsMats Arvidson, Mikael Askander, Lea Wierod Borcak, Signe Kjaer Jensen and Nafiseh Mousavi -- 9. TransmediationJorgen Bruhn, Anna Gutowska, Martin Knust and Emma Tornborg -- 10.Media Representation: Film, Music and Painting in LiteratureJorgen Bruhn, Liviu Lutas, Niklas Salmose and Beate Schirrmacher -- Part Three: APPLYING INTERMEDIAL PERSPECTIVES -- 11. Introduction to Part 3Jorgen Bruhn and Beate Schirrmacher -- 12. The Intermediality of PerformancePer Backstroem, Heidrun Fuhrer and Beate Schirrmacher -- 13. Truthfulness and Truth Claims as Transmedial PhenomenaJorgen Bruhn, Niklas Salmose, Beate Schirrmacher and Emma Tornborg -- 14. Media Modalities of Theatrical SpaceHeidrun Fuhrer and Janneke Schoene -- 15. Transmedial storyworldsMikael Askander, Anna Gutowska, Peter Kristof Makai -- 16.Intermediality and Social Media Signe Kjaer Jensen, Nafiseh Mousavi and Emma Tornborg -- 17.A Toolkit for the Intermedial Analysis of Computer GamesPeter Kristof Makai.Intermedial Studies provides a concise, hands-on introduction to the analysis of a broad array of texts from a variety of media - including literature, film, music, performance, news and videogames, addressing fiction and non-fiction, mass media and social media. The detailed introduction offers a short history of the field and outlines the main theoretical approaches to the field. Part I explains the approach, examining and exemplifying the dimensions that construct every media product. The following sections offer practical examples and case studies using many examples, which will be familiar to students, from Sherlock Holmes and football, to news, vlogs and videogames. This book is the only textbook taking both a theoretical and practical approach to intermedial studies. The book will be of use to students from a variety of disciplines looking at any form of adaptation, from comparative literature to film adaptations, fan fictions and spoken performances. The book equips students with the language and understanding to confidently and competently apply their own intermedial analysis to any text.Intermedial StudiesMass media and literatureMass media and literature.302.23Bruhn Jørgen1065022Schirrmacher BeateNjHacINjHaclBOOK9910774789103321Intermedial Studies3664735UNINA03712nam 22007215 450 991098614610332120251103085925.0978303168854610.1007/978-3-031-68854-6(CKB)37783826300041(MiAaPQ)EBC31952888(Au-PeEL)EBL31952888(DE-He213)978-3-031-68854-6(EXLCZ)993778382630004120250306d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierInstitution-independent Model Theory /by Răzvan Diaconescu2nd ed. 2025.Cham :Springer Nature Switzerland :Imprint: Birkhäuser,2025.1 online resource (568 pages)Studies in Universal Logic,2297-02909783031688539 - Introduction -- Part I Basics -- Categories -- Institutions -- Theories and Models -- Internal Logic -- Part II Advanced Topics -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Part III Extensions -- Institutions with Proofs -- Models with States -- Many-valued Truth Institutions -- Part IV Applications to Computing -- Grothendieck Institutions -- Specification -- Logic Programming.A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories. This second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added.Studies in Universal Logic,2297-0290Logic, Symbolic and mathematicalMachine theoryLogicModel theoryMathematical Logic and FoundationsFormal Languages and Automata TheoryLogicModel TheoryLògicathubTeoria de màquinesthubTeoria de modelsthubLlenguatges formalsthubLlibres electrònics.thubLogic, Symbolic and mathematical.Machine theory.Logic.Model theory.Mathematical Logic and Foundations.Formal Languages and Automata Theory.Logic.Model Theory.LògicaTeoria de màquinesTeoria de modelsLlenguatges formals511.3Diaconescu Răzvan1791069MiAaPQMiAaPQMiAaPQBOOK9910986146103321Institution-Independent Model Theory4327917UNINA