Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers [Book Review]

& (eds.)
Springer Verlag (2023)
  Copy   BIBTEX

Abstract

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.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783031266218   9783031266225   3031266218   3031266234

DOI

10.1007/978-3-031-26622-5

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,319

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

First Steps in Updating Knowing How.  (pages 1-16)Carlos Areces, Raul Fervari, Andrés R. Saravia & Fernando R. Velázquez-Quesada
Parametrized Modal Logic II: The Unidimensional Case.  (pages 17-36)Philippe Balbiani
Relating Kleene Algebras with Pseudo Uninorms.  (pages 37-55)Benjamin Bedregal, Regivan Santiago, Alexandre Madeira & Manuel Martins
Dynamic Epistemic Logic for Budget-Constrained Agents.  (pages 56-72)Vitaliy Dolgorukov & Maksim Gladyshev
Action Models for Coalition Logic.  (pages 73-89)Rustam Galimullin & Thomas Ågotnes
Quantum Logic for Observation of Physical Quantities.  (pages 90-105)Tomoaki Kawano
Cautious Distributed Belief.  (pages 106-124)John Lindqvist, Fernando R. Velázquez-Quesada & Thomas Ågotnes
A Stit Logic of Intentionality.  (pages 125-153)Aldo Iván Ramírez Abarca & Jan Broersen

Similar books and articles

Quantum Logic for Observation of Physical Quantities.Tomoaki Kawano - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 90-105.
Relating Kleene Algebras with Pseudo Uninorms.Benjamin Bedregal, Regivan Santiago, Alexandre Madeira & Manuel Martins - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 37-55.
Parametrized Modal Logic II: The Unidimensional Case.Philippe Balbiani - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 17-36.
Action Models for Coalition Logic.Rustam Galimullin & Thomas Ågotnes - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 73-89.
First Steps in Updating Knowing How.Carlos Areces, Raul Fervari, Andrés R. Saravia & Fernando R. Velázquez-Quesada - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 1-16.
Cautious Distributed Belief.John Lindqvist, Fernando R. Velázquez-Quesada & Thomas Ågotnes - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 106-124.
A Stit Logic of Intentionality.Aldo Iván Ramírez Abarca & Jan Broersen - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 125-153.
Dynamic Epistemic Logic for Budget-Constrained Agents.Vitaliy Dolgorukov & Maksim Gladyshev - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 56-72.
Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm: 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings.Reiner W. Hartenstein & Andres Keevallik - 1998 - Springer.
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers.M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998 - Springer Verlag.

Analytics

Added to PP
2023-02-14

Downloads
15 (#1,104,030)

6 months
5 (#1,289,774)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references