Pages that link to "Item:Q5271051"
From MaRDI portal
The following pages link to Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (Q5271051):
Displayed 11 items.
- A logic for diffusion in social networks (Q2018607) (← links)
- Database repair via event-condition-action rules in dynamic logic (Q2103906) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic (Q2695515) (← links)
- Possible Worlds Semantics Based on Observation and Communication (Q3299583) (← links)
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change (Q3305693) (← links)
- A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation (Q3457699) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- (Q5020961) (← links)
- Channel Theoretic Reflections on Dynamic Logics of Speech Acts (Q5213674) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)