The following pages link to Directed frames (Q1264137):
Displaying 12 items.
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- Presheaf semantics and independence results for some non-classical first- order logics (Q582278) (← 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)
- Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- Computable Kripke models and intermediate logics (Q1271561) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Incompleteness and the Barcan formula (Q1896788) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- Incompleteness results in Kripke semantics (Q3984427) (← links)
- Completeness of intermediate logics with doubly negated axioms (Q5404158) (← links)
