The following pages link to Logics for epistemic programs (Q2431873):
Displayed 50 items.
- The undecidability of iterated modal relativization (Q2574887) (← links)
- State transition in multi-agent epistemic domains using answer set programming (Q2694576) (← links)
- Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (Q2805170) (← links)
- Classical Knowledge for Quantum Security (Q2825352) (← links)
- Tableau Method and NEXPTIME-Completeness of DEL-Sequents (Q2825404) (← links)
- Refinement Quantified Logics of Knowledge (Q2825410) (← 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)
- Language Games (Q2963989) (← links)
- Agency and Interaction What We Are and What We Do in Formal Epistemology (Q2971668) (← links)
- A Qualitative Theory of Dynamic Interactive Belief Revision (Q2971702) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- 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)