Research graph
References from Cut-Free Tableau Calculi for some Intuitionistic Modal Logics. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/bf01053021
10.1007/bf01053021 · 1994 · External reference
Unresolved reference
External reference
Unresolved reference
1981 · External reference
Unresolved reference
1984 · External reference
10.1007/978-94-017-2794-5
10.1007/978-94-017-2794-5 · 1983 · External reference
Unresolved reference
1981 · External reference
Unresolved reference
External reference
10.1007/bf00881949
10.1007/bf00881949 · 1994 · External reference
10.1007/3-540-59338-1_30
10.1007/3-540-59338-1_30 · External reference
10.1016/b978-0-934613-04-0.50032-6
10.1016/b978-0-934613-04-0.50032-6 · External reference
10.1007/978-3-642-86718-7
10.1007/978-3-642-86718-7 · 1968 · External reference
