- Neu
Buch, Englisch, 215 Seiten, Format (B × H): 155 mm x 235 mm
6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers
Buch, Englisch, 215 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-22625-9
Verlag: Springer
This book constitutes the revised selected papers of the 6th International Workshop on Dynamic Logic - New Trends and Applications, DaLí 2025, held in Xi'an, China, during October 20–21, 2025.
The 12 full papers included in this volume were carefully reviewed and selected from 31 submissions. These papers focus on the general field of dynamic logic, its variants and applications, including topics such as logics with regular modalities, the interface between logic and learning, quantum dynamic logic, and much more.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Betriebssysteme
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
Weitere Infos & Material
.- Learning about Causation: Dynamic Epistemic Modal Logic with Causal Awareness.
.- Hybrid Logic with Moving Names.
.- Deductive Systems for Dynamic Quantum Logic.
.- Satisfaction-based Probabilistic Hoare Logic With While Loop: Weakest Precondition and Relative Completeness.
.- Weakest Precondition and Relative Completeness of Some Fragments of Probabilistic Relational Hoare Logic.
.- Virtual Group Knowledge and Group Belief in Topological Evidence Models.
.- On Fuzzy topological semantics.
.- Dynamic Logic of Product Relation Changers.
.- Completeness and Decidability of Protocol-Dependent Knowledge in Gossip.
.- Dynamic epistemic logic with private communication.
.- A dynamic logic of subjective belief.
.- Dynamic logic for interrogative epistemology.
