Research graph
References from Axiomatizations with Context Rules of Inference in Modal Logic. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1985 · External reference
10.1007/978-94-009-6259-0_4
10.1007/978-94-009-6259-0_4 · 1984 · External reference
10.1016/s0049-237x(08)70723-7
10.1016/s0049-237x(08)70723-7 · 1975 · External reference
10.1007/978-94-009-8384-7_3
10.1007/978-94-009-8384-7_3 · 1981 · External reference
10.1093/logcom/1.2.229
10.1093/logcom/1.2.229 · 1990 · External reference
10.1007/bf01054038
10.1007/bf01054038 · 1993 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1991 · External reference
Unresolved reference
External reference
10.1007/bf00215625
10.1007/bf00215625 · 1996 · External reference
Unresolved reference
External reference
10.4324/9780203290644
10.4324/9780203290644 · 1996 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
External reference
10.1016/0020-0190(85)90127-9
10.1016/0020-0190(85)90127-9 · 1985 · External reference
10.2307/2275293
10.2307/2275293 · 1992 · External reference
Unresolved reference
1988 · External reference
10.2307/2272558
10.2307/2272558 · 1972 · External reference
Unresolved reference
1995 · External reference
10.1305/ndjfl/1093635589
10.1305/ndjfl/1093635589 · 1990 · External reference
10.1093/logcom/1.4.453
10.1093/logcom/1.4.453 · 1991 · External reference
Unresolved reference
External reference
10.2307/2275109
10.2307/2275109 · 1993 · External reference
10.1007/bf00284972
10.1007/bf00284972 · 1991 · External reference
