Cantitate/Preț
Produs
Total produse
Vezi coșul
Dynamic Logic. New Trends and Applications de Carlos Areces

Dynamic Logic. New Trends and Applications: Lecture Notes in Computer Science, cartea 13780

Editat de Carlos Areces, Diana Costa
en Limba Engleză Paperback – 15 feb 2023
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. 
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 40059 lei

Puncte Express: 601

Carte tipărită la comandă

Livrare economică 09-23 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031266218
ISBN-10: 3031266218
Pagini: 172
Ilustrații: XIII, 155 p. 37 illus.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.27 kg
Ediția:1st edition 2023
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.