Pages that link to "Item:Q5108028"

The following pages link to A cut-free labelled sequent calculus for dynamic epistemic logic (Q5108028):

Displaying 7 items.

• A sequent calculus for propositional dynamic logic for agents with interactions (Q852274) (← links)
• A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
• A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes (Q2904070) (← links)
• Dynamic epistemic logic in update logic (Q2957972) (← links)
• A proof-theoretic semantic analysis of dynamic epistemic logic (Q2957974) (← links)
• Multi-type display calculus for dynamic epistemic logic (Q2957975) (← links)
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)