Research graph
References from A Completeness Proof for a Logic with an Alternative Necessity Operator. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1145/800157.805047
10.1145/800157.805047 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1016/0004-3702(92)90049-4
10.1016/0004-3702(92)90049-4 · 1992 · External reference
10.2307/2964568
10.2307/2964568 · 1959 · External reference
Unresolved reference
1966 · External reference
Unresolved reference
1988 · External reference
10.1016/0888-613x(88)90109-0
10.1016/0888-613x(88)90109-0 · 1988 · External reference
10.1002/malq.19890350612
10.1002/malq.19890350612 · 1989 · External reference
10.1007/978-1-4471-3242-4_2
10.1007/978-1-4471-3242-4_2 · External reference
10.1007/978-94-011-3534-4
10.1007/978-94-011-3534-4 · External reference
10.1007/3-540-58095-6_12
10.1007/3-540-58095-6_12 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
