Pages that link to "Item:Q3809773"

The following pages link to Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I (Q3809773):

Displaying 8 items.

• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
• On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
• On finite linear intermediate predicate logics (Q1119624) (← links)
• Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
• On the predicate logics of finite Kripke frames (Q1344873) (← links)
• On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees (Q1770592) (← links)
• New constants in the superintuitionistic logic L2 (Q2440003) (← links)
• Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II (Q3360841) (← links)