Articoli correlati a 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 - Brossura

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2018
  • ISBN 10 3319735802
  • ISBN 13 9783319735801
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319735788: Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings: 10669

Edizione in evidenza

ISBN 10:  3319735780 ISBN 13:  9783319735788
Casa editrice: Springer, 2018
Brossura