Pages that link to "Item:Q1744430"

The following pages link to Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430):

Displaying 2 items.

• A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)