Pages that link to "Item:Q2506830"
From MaRDI portal
The following pages link to Deduction chains for common knowledge (Q2506830):
Displayed 5 items.
- Intuitionistic common knowledge or belief (Q334160) (← links)
- Cut-free sequent systems for temporal logic (Q941433) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)