Atjaunināt sīkdatņu piekrišanu

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLķ 2022, Haifa, Israel, July 31August 1, 2022, Revised Selected Papers 1st ed. 2023 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 155 pages, height x width: 235x155 mm, weight: 273 g, 37 Illustrations, black and white; XIII, 155 p. 37 illus., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 13780
  • Izdošanas datums: 15-Feb-2023
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031266218
  • ISBN-13: 9783031266218
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 51,37 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 60,44 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31August 1, 2022, Revised Selected Papers 1st ed. 2023Palielināt
  • Formāts: Paperback / softback, 155 pages, height x width: 235x155 mm, weight: 273 g, 37 Illustrations, black and white; XIII, 155 p. 37 illus., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 13780
  • Izdošanas datums: 15-Feb-2023
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031266218
  • ISBN-13: 9783031266218
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783031266218.html
Keywords:
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. 
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.