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):
Displaying 21 items.
- On axiomatizations of public announcement logic (Q484925) (← links)
- Temporal languages for epistemic programs (Q1006494) (← links)
- 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)
- Epistemic updates on algebras (Q2871469) (← 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)
- (Q4636028) (← 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)
- Intuitionistic public announcement logic with distributed knowledge (Q6562369) (← links)
- Epistemic monadic Boolean algebras (Q6562538) (← links)
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)
- Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)
