Pages that link to "Item:Q5224588"

The following pages link to A remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: a simpler Kripke complete logic that is not strongly complete (Q5224588):

Displaying 6 items.

• A result on the completeness of superintuitionistic logics (Q1059064) (← links)
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
• On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains (Q1577172) (← links)
• A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains (Q3094149) (← links)
• On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames (Q3431969) (← links)
• Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages (Q5858132) (← links)