Pages that link to "Item:Q484925"
From MaRDI portal
The following pages link to On axiomatizations of public announcement logic (Q484925):
Displayed 37 items.
- Announcements to attentive agents (Q302225) (← links)
- Book review of: Johan van Benthem, Logical dynamics of information and interaction (Q456975) (← links)
- Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- Private announcements on topological spaces (Q1653649) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Opaque updates (Q2037297) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- Endogenizing epistemic actions (Q2062216) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- Non-strict interventionism: the case of right-nested counterfactuals (Q2155208) (← links)
- Inquisitive logic as an epistemic logic of knowing how (Q2172829) (← links)
- A closeness- and priority-based logical study of social network creation (Q2183577) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- A topological approach to full belief (Q2421518) (← links)
- A logical study of group-size based social network creation (Q2423774) (← links)
- A Note on Reliability-Based Preference Dynamics (Q3457697) (← links)
- A General Framework for Modal Correspondence in Dynamic Epistemic Logic (Q3457711) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- (Q5015399) (← links)
- (Q5018513) (← links)
- (Q5155678) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)
- CONTINGENCY AND KNOWING WHETHER (Q5247344) (← links)
- To be announced (Q6040661) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic (Q6116775) (← links)
- An Abstract Look at Awareness Models and Their Dynamics (Q6118733) (← links)
- Inexact knowledge and dynamic introspection (Q6147121) (← links)
- Dynamic epistemic logics for abstract argumentation (Q6147179) (← links)