Produktbild: Dynamic Logic. New Trends and Applications
Neu

Dynamic Logic. New Trends and Applications 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.06.2026

Abbildungen

XXII, 18 illus., 3 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Jing Wang + weitere

Verlag

Springer

Seitenzahl

215

Maße (L/B)

23,5/15,5 cm

Sprache

Englisch

ISBN

978-3-032-22625-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.06.2026

Abbildungen

XXII, 18 illus., 3 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

215

Maße (L/B)

23,5/15,5 cm

Sprache

Englisch

ISBN

978-3-032-22625-9

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Dynamic Logic. New Trends and Applications
  • .- 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.