Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319735788, 9783319735795

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dynamic Logic: A Personal Perspective

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_10 ◽

2018 ◽

pp. 153-170 ◽

Author(s):

Vaughan Pratt

Keyword(s):

Dynamic Logic ◽

Personal Perspective

Download Full-text

Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_2 ◽

2018 ◽

pp. 17-34 ◽

Author(s):

Philippe Balbiani ◽

Joseph Boudou

Download Full-text

Logics for Actor Networks: A Case Study in Constrained Hybridization

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_7 ◽

2018 ◽

pp. 98-114 ◽

Author(s):

José Fiadeiro ◽

Ionuţ Ţuţu ◽

Antónia Lopes ◽

Dusko Pavlovic

Keyword(s):

Download Full-text

A Dynamic Logic for Learning Theory

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_3 ◽

2018 ◽

pp. 35-54 ◽

Author(s):

Alexandru Baltag ◽

Nina Gierasimczuk ◽

Aybüke Özgün ◽

Ana Lucia Vargas Sandoval ◽

Sonja Smets

Keyword(s):

Learning Theory ◽

Download Full-text

The Creation and Change of Social Networks: A Logical Study Based on Group Size

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_11 ◽

2018 ◽

pp. 171-184 ◽

Author(s):

Sonja Smets ◽

Fernando R. Velázquez-Quesada

Keyword(s):

Social Networks ◽

Logical Study ◽

Download Full-text

Parity Games and Automata for Game Logic

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_8 ◽

2018 ◽

pp. 115-132 ◽

Author(s):

Helle Hvid Hansen ◽

Clemens Kupke ◽

Johannes Marti ◽

Yde Venema

Keyword(s):

Download Full-text

A Dynamic Informational-Epistemic Logic

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_5 ◽

2018 ◽

pp. 64-81 ◽

Author(s):

Yuri David Santos

Keyword(s):

Epistemic Logic

Download Full-text

Dynamic Preference Logic as a Logic of Belief Change

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_12 ◽

2018 ◽

pp. 185-200 ◽

Author(s):

Marlo Souza ◽

Álvaro Moreira ◽

Renata Vieira

Keyword(s):

Belief Change ◽

Preference Logic

Download Full-text

Dynamic Epistemic Logics of Introspection

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_6 ◽

2018 ◽

pp. 82-97 ◽

Author(s):

Raul Fervari ◽

Fernando R. Velázquez-Quesada

Download Full-text

Undecidability of Relation-Changing Modal Logics

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_1 ◽

2018 ◽

pp. 1-16 ◽

Author(s):

Carlos Areces ◽

Raul Fervari ◽

Guillaume Hoffmann ◽

Mauricio Martel

Keyword(s):

Download Full-text