Pages that link to "Item:Q1577172"

The following pages link to On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains (Q1577172):

Displaying 6 items.

• A logic characterized by the class of connected models with nested domains (Q1264135) (← links)
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
• A remark on propositional Kripke frames sound for intuitionistic logics (Q2904065) (← links)
• (Q3025175) (← links)
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains (Q3787971) (← links)
• The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames (Q4711191) (← links)