scientific article; zbMATH DE number 6302906
From MaRDI portal
Publication:5419882
zbMath1291.03023MaRDI QIDQ5419882
Fenrong Liu, Jeremy Seligman, Patrick R. Girard
Publication date: 11 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Algebraic Semantics for Dynamic Dynamic Logic ⋮ Comparing Social Network Dynamic Operators ⋮ Tracking Information ⋮ Implicit and explicit stances in logic ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Opaque updates ⋮ Logical dynamics of belief change in the community ⋮ Dynamic Epistemic Logics
This page was built for publication:
