Pages that link to "Item:Q3094149"

The following pages link to A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains (Q3094149):

Displaying 9 items.

• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
• Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
• Directed frames (Q1264137) (← links)
• A remark on propositional Kripke frames sound for intuitionistic logics (Q2904065) (← links)
• On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames (Q3431969) (← links)
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains (Q3787971) (← links)
• 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) (← links)
• Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages (Q5858132) (← links)
• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797) (← links)