Research graph
References from Simulation and Transfer Results in Modal Logic – A Survey. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/bf01053021
10.1007/bf01053021 · 1994 · External reference
Unresolved reference
1993 · External reference
Unresolved reference
External reference
10.2307/2273184
10.2307/2273184 · 1980 · External reference
Unresolved reference
External reference
10.1007/bf02429840
10.1007/bf02429840 · 1984 · External reference
10.1007/978-94-009-6259-0_1
10.1007/978-94-009-6259-0_1 · External reference
10.2307/2275108
10.2307/2275108 · 1993 · External reference
10.2307/2275473
10.2307/2275473 · 1991 · External reference
10.1017/cbo9780511621192
10.1017/cbo9780511621192 · External reference
Unresolved reference
External reference
10.1007/bf00370809
10.1007/bf00370809 · 1985 · External reference
10.2307/2273953
10.2307/2273953 · 1986 · External reference
Unresolved reference
1974 · External reference
Unresolved reference
External reference
10.1007/978-94-009-8937-5_5
10.1007/978-94-009-8937-5_5 · External reference
Unresolved reference
1984 · External reference
10.1016/0168-0072(89)90032-8
10.1016/0168-0072(89)90032-8 · 1989 · External reference
10.1007/bf01054038
10.1007/bf01054038 · 1993 · External reference
10.1093/logcom/2.1.5
10.1093/logcom/2.1.5 · 1992 · External reference
Unresolved reference
1994 · External reference
10.1111/j.1755-2567.1977.tb00788.x
10.1111/j.1755-2567.1977.tb00788.x · 1977 · External reference
10.2307/2372123
10.2307/2372123 · 1951 · External reference
10.1007/bf01794981
10.1007/bf01794981 · 1992 · External reference
10.1007/978-94-015-8242-1_7
10.1007/978-94-015-8242-1_7 · External reference
Unresolved reference
External reference
10.2307/2275487
10.2307/2275487 · 1991 · External reference
Unresolved reference
External reference
10.1093/jigpal/1.1.91
10.1093/jigpal/1.1.91 · 1993 · External reference
10.1305/ndjfl/1093894226
10.1305/ndjfl/1093894226 · 1971 · External reference
Unresolved reference
External reference
10.2977/prims/1195189604
10.2977/prims/1195189604 · 1977 · External reference
10.1016/0890-5401(91)90026-x
10.1016/0890-5401(91)90026-x · 1991 · External reference
10.1007/978-94-015-8242-1_8
10.1007/978-94-015-8242-1_8 · 1993 · External reference
Unresolved reference
External reference
10.1016/0168-0072(88)90021-8
10.1016/0168-0072(88)90021-8 · 1988 · External reference
10.1007/978-94-010-3272-8_7
10.1007/978-94-010-3272-8_7 · 1970 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.2307/2272895
10.2307/2272895 · 1974 · External reference
10.1002/malq.19750210114
10.1002/malq.19750210114 · 1975 · External reference
10.1111/j.1755-2567.1975.tb00555.x
10.1111/j.1755-2567.1975.tb00555.x · 1975 · External reference
10.1007/bf00370317
10.1007/bf00370317 · 1980 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1991 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1093/logcom/4.1.21
10.1093/logcom/4.1.21 · 1994 · External reference
10.1007/bf01054711
10.1007/bf01054711 · 1994 · External reference
Unresolved reference
External reference
10.2307/2275755
10.2307/2275755 · 1995 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.2307/2275372
10.2307/2275372 · 1992 · External reference
