Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.

Format:

Book

Contributor:

Areces, Carlos, editor.

Costa, Diana, editor.

Series:

Lecture Notes in Computer Science, 1611-3349 ; 13780

Language:

English

Subjects (All):

Logic.

Logic, Symbolic and mathematical.

Logic programming.

Software engineering.

Computer networks.

Mathematical Logic and Foundations.

Logic in AI.

Software Engineering.

Computer Communication Networks.

Local Subjects:

Logic.

Mathematical Logic and Foundations.

Logic in AI.

Software Engineering.

Computer Communication Networks.

Physical Description:

1 online resource (167 pages)

Edition:

1st ed. 2023.

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2023.

Summary:

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. .

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.

Notes:

Includes bibliographical references and index.

Other Format:

Print version: Areces, Carlos Dynamic Logic. New Trends and Applications

ISBN:

9783031266225

3031266226