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

TOTAL DOCUMENTS

14

(FIVE YEARS 14)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030388072, 9783030388089

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Iterative Division in the Distributive Full Non-associative Lambek Calculus

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

10.1007/978-3-030-38808-9_9 ◽

2020 ◽

pp. 141-154 ◽

Author(s):

Igor Sedlár

Keyword(s):

Lambek Calculus

Download Full-text

The Logic of AGM Learning from Partial Observations

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

10.1007/978-3-030-38808-9_3 ◽

2020 ◽

pp. 35-52

Author(s):

Alexandru Baltag ◽

Aybüke Özgün ◽

Ana Lucia Vargas-Sandoval

Keyword(s):

Partial Observations

Download Full-text

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq

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

10.1007/978-3-030-38808-9_1 ◽

2020 ◽

pp. 3-18

Author(s):

Raul Fervari ◽

Francisco Trucco ◽

Beta Ziliani

Download Full-text

Persuasive Argumentation and Epistemic Attitudes

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

10.1007/978-3-030-38808-9_7 ◽

2020 ◽

pp. 104-123

Author(s):

Carlo Proietti ◽

Antonio Yuste-Ginel

Keyword(s):

Epistemic Attitudes

Download Full-text

Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings

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

10.1007/978-3-030-38808-9_11 ◽

2020 ◽

pp. 171-189 ◽

Author(s):

Aldo Iván Ramírez Abarca ◽

Jan Broersen

Keyword(s):

Information Disclosure

Download Full-text

A Dynamic Logic for QASM Programs

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

10.1007/978-3-030-38808-9_13 ◽

2020 ◽

pp. 209-217

Author(s):

Carlos Tavares

Keyword(s):

Download Full-text

On the Construction of Multi-valued Concurrent Dynamic Logics

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

10.1007/978-3-030-38808-9_14 ◽

2020 ◽

pp. 218-226

Author(s):

Leandro Gomes

Keyword(s):

Download Full-text

The Trace Modality

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

10.1007/978-3-030-38808-9_8 ◽

2020 ◽

pp. 124-140

Author(s):

Dominic Steinhöfel ◽

Reiner Hähnle

Download Full-text

Resource Separation in Dynamic Logic of Propositional Assignments

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

10.1007/978-3-030-38808-9_10 ◽

2020 ◽

pp. 155-170

Author(s):

Joseph Boudou ◽

Andreas Herzig ◽

Nicolas Troquard

Keyword(s):

Download Full-text

Bringing Belief Base Change into Dynamic Epistemic Logic

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

10.1007/978-3-030-38808-9_12 ◽

2020 ◽

pp. 190-205 ◽

Author(s):

Marlo Souza ◽

Álvaro Moreira

Keyword(s):

Epistemic Logic ◽

Base Change ◽

Dynamic Epistemic Logic ◽

Download Full-text