The following pages link to Logics for epistemic programs (Q2431873):
Displayed 47 items.
- On Axiomatizations of PAL (Q3094017) (← links)
- Public Announcement Logic with Distributed Knowledge (Q3094018) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- ARROW UPDATE LOGIC (Q3224046) (← links)
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Hintikka’s Knowledge and Belief in Flux (Q3299582) (← links)
- Tracking Information (Q3305434) (← links)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- (Q3384084) (← links)
- Private Expansion and Revision in Multi-agent Settings (Q3451175) (← links)
- Compositional Reasoning for Multi-modal Logics (Q3455830) (← links)
- A General Framework for Modal Correspondence in Dynamic Epistemic Logic (Q3457711) (← links)
- Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (Q3457715) (← links)
- Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454) (← links)
- From DEL to EDL: Exploring the Power of Converse Events (Q3524930) (← links)
- Logic programming for finding models in the logics of knowledge and its applications: A case study (Q3585176) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- Learning by Erasing in Dynamic Epistemic Logic (Q3618595) (← links)
- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points (Q3638279) (← links)
- The case of the hidden hand (Q3647237) (← links)
- Interpreting an action from what we perceive and what we expect (Q3647262) (← links)
- Communication strategies in games (Q3647270) (← links)
- Expressivity and completeness for public update logics via reduction axioms (Q3647272) (← links)
- Reasoning about knowledge and messages in asynchronous multi-agent systems (Q4559603) (← links)
- Modelling phenomena and dynamic logic of phenomena (Q4583147) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Structures of Oppositions in Public Announcement Logic (Q4915594) (← links)
- Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision (Q4917986) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Aximo: Automated Axiomatic Reasoning for Information Update (Q4982122) (← links)
- (Q5015399) (← links)
- Conversation and Games (Q5224486) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Logic and Probabilistic Update (Q5249676) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Refinement of Kripke Models for Dynamics (Q5505597) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)
- A formal model of multi-agent belief-interaction (Q5901494) (← links)
- A formal model of multi-agent belief-interaction (Q5920620) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)
- Logic of visibility in social networks (Q6160743) (← links)