Pages that link to "Item:Q467667"

The following pages link to The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667):

Displaying 3 items.

• Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
• Through an Inference Rule, Darkly (Q3305631) (← links)
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)