Pages that link to "Item:Q393906"
From MaRDI portal
The following pages link to Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906):
Displayed 13 items.
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Situated epistemic updates (Q2148833) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Relevant epistemic logic with public announcements and common knowledge (Q2695524) (← links)
- (Q3384065) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- Epistemic Updates on Bilattices (Q3457727) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4625704) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)
- Rough concepts (Q6081075) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)