UNDECIDABILITY OF MODAL AND INTERMEDIATE 1ST-ORDER LOGICS WITH 2 INDIVIDUAL VARIABLES

[1] [Anonymous], 1973, J PHILOS LOGIC, V2, P77, DOI 10.1007/BF02115610

[2] FINITE KRIPKE MODELS AND PREDICATE LOGICS OF PROVABILITY [J]. JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1090 - 1098

[3] Articles on the algebra of logic, in particular to the decision problem [J]. MATHEMATISCHE ANNALEN, 1922, 86 : 163 - 229

[4] Church, 1956, INTRO MATH LOGIC, V1

[5] Church A., 1936, J SYMBOLIC LOGIC, V1, P40, DOI DOI 10.2307/2269326

[6] Dreben B., 1979, DECISION PROBLEM SOL

[7] Godel K., 1933, MONATSCHEFTE MATH PH, V40, P433

[8] ENTSCHEIDUNGSPROBLEM REDUCED TO (UPSIDE-DOWN AEA) CASE [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1962, 48 (03) : 365 - +

[9] Kripke, 1962, Z MATH LOGIK GRUNDLA, V8, P113, DOI DOI 10.1002/MALQ.19620080204

[10] Kripke S., 1959, J SYMBOLIC LOGIC, V24, P1, DOI DOI 10.2307/2964568

[1] [Anonymous], 1973, J PHILOS LOGIC, V2, P77, DOI 10.1007/BF02115610

[2] FINITE KRIPKE MODELS AND PREDICATE LOGICS OF PROVABILITY [J]. JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1090 - 1098

[3] Articles on the algebra of logic, in particular to the decision problem [J]. MATHEMATISCHE ANNALEN, 1922, 86 : 163 - 229

[4] Church, 1956, INTRO MATH LOGIC, V1

[5] Church A., 1936, J SYMBOLIC LOGIC, V1, P40, DOI DOI 10.2307/2269326

[6] Dreben B., 1979, DECISION PROBLEM SOL

[7] Godel K., 1933, MONATSCHEFTE MATH PH, V40, P433

[8] ENTSCHEIDUNGSPROBLEM REDUCED TO (UPSIDE-DOWN AEA) CASE [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1962, 48 (03) : 365 - +

[9] Kripke, 1962, Z MATH LOGIK GRUNDLA, V8, P113, DOI DOI 10.1002/MALQ.19620080204

[10] Kripke S., 1959, J SYMBOLIC LOGIC, V24, P1, DOI DOI 10.2307/2964568