Pages that link to "Item:Q987837"

The following pages link to Common knowledge does not have the Beth property (Q987837):

Displaying 4 items.

• A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
• The Ryōan-ji axiom for common knowledge on hypergraphs (Q2263050) (← links)
• Forgetting in multi-agent modal logics (Q2321251) (← links)
• The Proof Theory of Common Knowledge (Q3299587) (← links)