Research graph
References from Encoding Modal Logics in Logical Frameworks. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
10.1016/0890-5401(91)90023-u
10.1016/0890-5401(91)90023-u · 1991 · External reference
10.1007/bf00245294
10.1007/bf00245294 · 1992 · External reference
10.1007/bf00264250
10.1007/bf00264250 · 1984 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1988 · External reference
Unresolved reference
1995 · External reference
10.1007/978-94-017-2794-5
10.1007/978-94-017-2794-5 · External reference
10.1007/bf01053032
10.1007/bf01053032 · External reference
Unresolved reference
External reference
10.1017/s0960129500000785
10.1017/s0960129500000785 · 1995 · External reference
10.1016/s0049-237x(08)70822-x
10.1016/s0049-237x(08)70822-x · External reference
10.1007/978-94-009-6259-0_10
10.1007/978-94-009-6259-0_10 · External reference
10.1145/138027.138060
10.1145/138027.138060 · 1993 · External reference
10.1145/2455.2460
10.1145/2455.2460 · 1985 · External reference
10.1007/3-540-61780-9_69
10.1007/3-540-61780-9_69 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1997 · External reference
Unresolved reference
External reference
10.1016/s1571-0661(04)00028-3
10.1016/s1571-0661(04)00028-3 · External reference
Unresolved reference
1965 · External reference
10.2307/2274279
10.2307/2274279 · 1984 · External reference
Unresolved reference
External reference
10.1093/oso/9780198537618.003.0005
10.1093/oso/9780198537618.003.0005 · External reference
Unresolved reference
1983 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
