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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030388072, 9783030388089

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

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

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 ◽

Cited By ~ 1

Author(s):

Aldo Iván Ramírez Abarca ◽

Jan Broersen

Keyword(s):

Information Disclosure

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 ◽

Cited By ~ 1

Author(s):

Igor Sedlár

Keyword(s):

Lambek Calculus

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):

Dynamic Logic

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):

Dynamic Logics

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

A Four-Valued Hybrid Logic with Non-dual Modal Operators

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

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

2020 ◽

pp. 88-103

Author(s):

Diana Costa ◽

Manuel A. Martins

Keyword(s):

Hybrid Logic ◽

Modal Operators

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):

Dynamic Logic

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

The Logic of AGM Learning from Partial Observations

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq

Persuasive Argumentation and Epistemic Attitudes

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

Iterative Division in the Distributive Full Non-associative Lambek Calculus

A Dynamic Logic for QASM Programs

On the Construction of Multi-valued Concurrent Dynamic Logics

The Trace Modality

A Four-Valued Hybrid Logic with Non-dual Modal Operators

Resource Separation in Dynamic Logic of Propositional Assignments

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