Vor Ort
Merkzettel Warenkorb
Produktbild: Dynamic Logic. New Trends and Applications
Band 16472

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

Aus der Reihe Lecture Notes in Computer Science

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.2026

Abbildungen

XXII, 215 p. 18 illus., 3 illus. in color.

Herausgeber

Jing Wang + weitere

Verlag

Springer

Seitenzahl

215

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

371 g

Sprache

Englisch

ISBN

978-3-032-22625-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.2026

Abbildungen

XXII, 215 p. 18 illus., 3 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

215

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

371 g

Sprache

Englisch

ISBN

978-3-032-22625-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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