The following pages link to Logics for epistemic programs (Q2431873):
Displayed 50 items.
- Logics of informational interactions (Q266639) (← 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)
- 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)
- The many faces of closure and introspection. An ineractive perspective (Q1947027) (← 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)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (Q2805170) (← links)
- Modular Games for Coalgebraic Fixed Point Logics (Q2873663) (← links)
- Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains (Q2900545) (← links)
- Some remarks on the model theory of epistemic plausibility models (Q2901219) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- Finitary S5-Theories (Q2938497) (← links)
- Efficient Program Transformers for Translating LCC to PDL (Q2938499) (← links)
- Mathematical Arguments and Distributed Knowledge (Q2950043) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)