The following pages link to Logics for epistemic programs (Q2431873):
Displayed 50 items.
- Logics of informational interactions (Q266639) (← links)
- Contemporary epistemic logic and the Lockean thesis (Q301338) (← links)
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- Action emulation (Q375313) (← links)
- Belief change in branching time: AGM-consistency and iterated revision (Q421352) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- Multiagent belief revision (Q492877) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
- Finite identification from the viewpoint of epistemic update (Q553305) (← links)
- Logic for update products and steps into the past (Q636377) (← links)
- Prolegomena to dynamic logic for belief revision (Q813422) (← links)
- An epistemic logic for becoming informed (Q833038) (← links)
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Logics of communication and change (Q859825) (← links)
- The surprise examination in dynamic epistemic logic (Q885519) (← links)
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic (Q885521) (← links)
- Towards a theory of intention revision (Q885523) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- Towards a ``sophisticated'' model of belief dynamics. I: The general framework (Q935023) (← links)
- A dynamic-logical perspective on quantum behavior (Q941738) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- An internal version of epistemic logic (Q965903) (← links)
- On the dynamics of institutional agreements (Q970091) (← links)
- Towards a ``sophisticated'' model of belief dynamics. II: Belief revision (Q1005934) (← links)
- Temporal languages for epistemic programs (Q1006494) (← links)
- Probabilistic dynamic belief revision (Q1024132) (← links)
- Public and private communication are different: Results on relative expressivity (Q1024135) (← links)
- Bridging learning theory and dynamic epistemic logic (Q1036054) (← links)
- Extending probabilistic dynamic epistemic logic (Q1036062) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- The many faces of closure and introspection. An ineractive perspective (Q1947027) (← links)
- The dynamics of epistemic attitudes in resource-bounded agents (Q2001362) (← links)
- Truth-tracking by belief revision (Q2009768) (← links)
- Inquisitive propositional dynamic logic (Q2035846) (← links)
- An action language for multi-agent domains (Q2060726) (← links)
- Endogenizing epistemic actions (Q2062216) (← links)
- Epistemic planning with attention as a bounded resource (Q2148811) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- Dynamic epistemic logic with communication actions (Q2333668) (← links)
- A modal logic of epistemic games (Q2344955) (← links)
- From single agent to multi-agent via hypersequents (Q2392010) (← links)
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes (Q2441476) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
- The logic of Pit (Q2500833) (← links)