Research graph
References from On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/bf01630811
10.1007/bf01630811 · 1989 · External reference
Unresolved reference
1970 · External reference
10.1007/bf01620621
10.1007/bf01620621 · 1989 · External reference
10.2307/2274697
10.2307/2274697 · 1991 · External reference
10.1007/978-1-4613-0609-2_9
10.1007/978-1-4613-0609-2_9 · 1990 · External reference
10.1007/bf01053062
10.1007/bf01053062 · 1993 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
External reference
