Pages that link to "Item:Q4053614"
From MaRDI portal
The following pages link to Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics (Q4053614):
Displaying 6 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)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- A study of intermediate predicate logics (Q1843560) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- On a semantics for non-classical logics (Q4401439) (← links)
