General dynamic dynamic logic
From MaRDI portal
Recommendations
Cited in
(30)- 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 logic and temporal modality
- Exploring the power of converse events
- Dynamic epistemic logic in update logic
- Tracking information
- Categories for dynamic epistemic logic
- Algebraic Semantics for Dynamic Dynamic Logic
- A general framework for modal correspondence in dynamic epistemic logic
- Model transformers for dynamical systems of dynamic epistemic logic
- From DEL to EDL: Exploring the Power of Converse Events
- Dynamic Logic with Non-rigid Functions
- Dynamic Context Logic
- A general framework for dynamic epistemic logic: towards canonical correspondences
- scientific article; zbMATH DE number 753771 (Why is no real title available?)
- Changing Modalities
- Privacy policies with modal logic: the dynamic turn
- DDL as an ``internalization of dynamic belief revision
- In memory of Jasu Magan Bhana Panchia (1963--1991): iterated belief revision in dynamic doxastic logic
- Dynamic epistemic logics
- Modeling truly dynamic epistemic scenarios in a partial version of DEL
- Dynamic modal logic with counting: when reduction axioms work and fail
- Comparing Social Network Dynamic Operators
- \textit{De re} updates
- Visibility and exploitation in social networks
- Dynamic logics of diffusion and link changes on social networks
This page was built for publication: General dynamic dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5419882)
