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

Colaborador(es): Areces, Carlos [editor.] | Costa, Diana [editor.] | SpringerLink (Online service)Tipo de material: TextoTextoSeries Lecture Notes in Computer Science ; 13780Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Edición: 1st ed. 2023Descripción: XIII, 155 p. 37 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783031266225Tema(s): Logic | Mathematical logic | Logic programming | Software engineering | Computer networks  | Logic | Mathematical Logic and Foundations | Logic in AI | Software Engineering | Computer Communication NetworksFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 160 Clasificación LoC:BC1-199Recursos en línea: Libro electrónicoTexto
Contenidos:
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.
En: Springer Nature eBookResumen: 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. .
Star ratings
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro Electrónico Biblioteca Electrónica
Colección de Libros Electrónicos 1 No para préstamo

Acceso multiusuario

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.

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

UABC ; Perpetuidad

Con tecnología Koha