Pages that link to "Item:Q4982123"

The following pages link to Syntactic Cut-elimination for Common Knowledge (Q4982123):

Displaying 4 items.

• Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
• Common knowledge does not have the Beth property (Q987837) (← links)
• On the proof theory of the modal mu-calculus (Q1005937) (← links)
• Syntactic cut-elimination for common knowledge (Q1024553) (← links)