The following pages link to Epistemic Actions as Resources (Q5431612):
Displaying 25 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Modes of adjointness (Q484110) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Towards ``dynamic domains'': totally continuous cocomplete \(\mathcal Q\)-categories (Q875519) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Evaluations of epistemic components for resolving the muddy children puzzle (Q2376999) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- Classical knowledge for quantum security (Q2825352) (← links)
- A coalgebraic semantics for epistemic programs (Q2843718) (← links)
- Algebra and sequent calculus for epistemic actions (Q2848068) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- (Q3200590) (← links)
- (Q3384084) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Aximo: Automated Axiomatic Reasoning for Information Update (Q4982122) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- A public announcement separation logic (Q5377700) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)
