Pages that link to "Item:Q1344873"
From MaRDI portal
The following pages link to On the predicate logics of finite Kripke frames (Q1344873):
Displaying 3 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)
- The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable (Q5718669) (← links)