Pages that link to "Item:Q484925"
From MaRDI portal
The following pages link to On axiomatizations of public announcement logic (Q484925):
Displaying 50 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)
- Temporal languages for epistemic programs (Q1006494) (← links)
- Private announcements on topological spaces (Q1653649) (← links)
- APAL with memory Is better (Q1799274) (← 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)
- Public announcement logic in HOL (Q2055768) (← 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)
- Comments to `Logics of public communications' (Q2460186) (← links)
- Public Announcements, Private Actions and Common Knowledge in S5 Structures (Q2859111) (← links)
- Tableaux for Public Announcement Logic (Q3406684) (← links)
- A Note on Reliability-Based Preference Dynamics (Q3457697) (← links)
- A General Framework for Modal Correspondence in Dynamic Epistemic Logic (Q3457711) (← links)
- Expressivity and completeness for public update logics via reduction axioms (Q3647272) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← 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)
- (Q4636028) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- (Q5015399) (← links)
- (Q5018513) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)
- (Q5155678) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)
- Justification announcements in discrete time. Part II: Frame definability results (Q5241923) (← links)
- CONTINGENCY AND KNOWING WHETHER (Q5247344) (← links)
- To be announced (Q6040661) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← 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)
- Dynamic epistemic logic for budget-constrained agents (Q6550522) (← links)
- Intuitionistic public announcement logic with distributed knowledge (Q6562369) (← links)
