Pages that link to "Item:Q2957974"
From MaRDI portal
The following pages link to A proof-theoretic semantic analysis of dynamic epistemic logic (Q2957974):
Displaying 17 items.
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes (Q2904070) (← links)
- Multi-type display calculus for dynamic epistemic logic (Q2957975) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* (Q4612409) (← links)
- Constructive Game Logic (Q5041088) (← links)
- A cut-free labelled sequent calculus for dynamic epistemic logic (Q5108028) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)