Search History

Holdings Information

Action Box More Info Navigation

    Action Navigation

    Action Box

    Bibliographic Record Display

    • Title:Dynamic Logic. New Trends and Applications [electronic resource] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers / edited by Nina Gierasimczuk, Fernando R. Velázquez-Quesada.
    • ISBN:9783031517778
    • Edition:1st ed. 2024.
    • Publication:Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
    • Physical Description:1 online resource (XI, 137 p.) 19 illus., 6 illus. in color.
    • Links:Online book

    • Yale Holdings

      Holdings Record Display

       
    • Local Notes:Access is available to the Yale community.
    • Access and use:Access restricted by licensing agreement.
    • Summary:This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15-16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.
    • In_:Springer Nature eBook
    • Variant and related titles:Springer ENIN.
    • Other formats:Printed edition:
      Printed edition:
    • Format:Book
    • Series:Lecture Notes in Computer Science, 14401
      Lecture Notes in Computer Science, 14401
    • Contents:A spatial logic with time and quantifiers -- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability -- Axiomatization of Hybrid Logic of Link Variations -- Kleene Algebra of Weighted Programs With Domain -- Automated Quantum Program Verification in Dynamic Quantum Logic -- Predictive Theory of Mind Models Based on Public Announcement Logic -- Learning by Intervention in Simple Causal Domains -- A Logical Approach to Doxastic Causal Reasoning.
    • Subjects:Computer science.
      Mathematical logic.
      Logic programming.
      Software engineering.
      Computer networks .
    • Also listed under:Gierasimczuk, Nina. editor.
      Velázquez-Quesada, Fernando R. editor.
      SpringerLink (Online service)
    Link to this page: https://hdl.handle.net/10079/bibid/16950187