Description

Book Synopsis
This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.
The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.

Table of Contents
First steps in updating knowing how.- Parametrized modal logic II: the unidimensional case.- Relating Kleene algebras.- Dynamic epistemic logic for budget-constrained agents.- Action models for coalition logic.- Quantum logic for observation of physical quantities.- Cautious distributed belief.- A STIT logic of intentionality.

Dynamic Logic. New Trends and Applications: 4th

    Product form

    A Paperback / softback by Carlos Areces, Diana Costa

    £42.74

    Includes FREE delivery

    RRP £44.99 – you save £2.25 (5%)

    Order before 4pm tomorrow for delivery by Sat 19 Sep 2026.

    3 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Dynamic Logic. New Trends and Applications: 4th by Carlos Areces

      Book details

      Publisher Springer International Publishing AG
      Published 15 February 2023
      ISBN-13 9783031266218
      978-3031266218
      ISBN-10 3031266218
      Also in:
      Mathematical foundations Mathematical logic Philosophy: logic

      Description

      Book Synopsis
      This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.
      The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.

      Table of Contents
      First steps in updating knowing how.- Parametrized modal logic II: the unidimensional case.- Relating Kleene algebras.- Dynamic epistemic logic for budget-constrained agents.- Action models for coalition logic.- Quantum logic for observation of physical quantities.- Cautious distributed belief.- A STIT logic of intentionality.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account