Research graph
References from Kripke Bundle Semantics and C-set Semantics. Local targets link to admitted publications; unresolved targets remain external evidence.
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.1016/0168-0072(93)90210-5
10.1016/0168-0072(93)90210-5 · 1993 · External reference
Unresolved reference
External reference
