Pages that link to "Item:Q402120"

The following pages link to Proof systems for Moss' coalgebraic logic (Q402120):

Displaying 5 items.

• Coalgebraic logics \& duality (Q1798781) (← links)
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
• Strongly Complete Logics for Coalgebras (Q2914235) (← links)
• Rough and Near: Modal History of Two Theories (Q5082210) (← links)
• (Q5101351) (← links)