Pages that link to "Item:Q582278"

The following pages link to Presheaf semantics and independence results for some non-classical first- order logics (Q582278):

Displayed 15 items.

• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) ‎ (← links)
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) ‎ (← links)
• On the predicate logic of linear Kripke frames and some of its extensions (Q817691) ‎ (← links)
• Quantified extensions of canonical propositional intermediate logics (Q1207339) ‎ (← links)
• Directed frames (Q1264137) ‎ (← links)
• On the predicate logics of finite Kripke frames (Q1344873) ‎ (← links)
• Neighborhood-Sheaf Semantics for First-Order Modal Logic (Q2825413) ‎ (← links)
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) ‎ (← links)
• 2008 Winter Meeting of the Association for Symbolic Logic (Q3633208) ‎ (← links)
• Incompleteness results in Kripke semantics (Q3984427) ‎ (← links)
• Constructive Game Logic (Q5041088) ‎ (← links)
• FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980) ‎ (← links)
• Constructive Modalities with Provability Smack (Q5255796) ‎ (← links)
• The Invariance Modality (Q5886459) ‎ (← links)
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics (Q6201547) ‎ (← links)