Items related to 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

 
9783319735801: Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Softcover
ISBN 10: 3319735802 ISBN 13: 9783319735801
Publisher: Springer, 2018

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2018
  • ISBN 10 3319735802
  • ISBN 13 9783319735801
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319735788: Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings: 10669 (Lecture Notes in Computer Science, 10669)

Featured Edition

ISBN 10:  3319735780 ISBN 13:  9783319735788
Publisher: Springer, 2018
Softcover