Verwandte Artikel zu Dynamic Logic. New Trends and Applications: First Internatio...
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
Undecidability of Relation-Changing Modal Logics.- Axiomatization and computability of a variant of iteration-free PDL with fork.- A Dynamic Logic for Learning Theory.- Layered logics, coalgebraically.- A Dynamic Informational-Epistemic Logic.- Dynamic Epistemic Logics of Introspection.- Logics for Actor Networks: a case study in constrained hybridization.- Parity Games and Automata for Game Logic.- Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment.- Dynamic Logic: A personal perspective.- The Creation and Change of Social Networks: a logical study based on group size.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2018
- ISBN 10 3319735802
- ISBN 13 9783319735801
- EinbandPaperback
- SpracheEnglisch
- Kontakt zum HerstellerNicht verfügbar
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!
Kaufgesuch aufgeben
