36:
72:
96:
84:
132:
60:
127:
8:
108:
48:
22:
17:
121:
35:
The following 6 pages are in this category, out of 6 total.
119:
37:This list may not reflect recent changes
120:
73:Hilbert–Bernays provability conditions
32:Pages in category "Provability logic"
13:
41:
29:
14:
144:
97:Japaridze's polymodal logic
1:
30:
7:
10:
149:
16:The main article for this
15:
85:Interpretability logic
61:Finite model property
109:Löb's theorem
49:Provability logic
23:Provability logic
140:
148:
147:
143:
142:
141:
139:
138:
137:
118:
117:
116:
115:
114:
113:
101:
89:
77:
65:
53:
28:
27:
12:
11:
5:
146:
136:
135:
130:
112:
111:
105:
102:
100:
99:
93:
90:
88:
87:
81:
78:
76:
75:
69:
66:
64:
63:
57:
54:
52:
51:
45:
43:
42:
33:
9:
6:
4:
3:
2:
145:
134:
131:
129:
126:
125:
123:
110:
107:
106:
103:
98:
95:
94:
91:
86:
83:
82:
79:
74:
71:
70:
67:
62:
59:
58:
55:
50:
47:
46:
44:
40:
38:
31:
25:
24:
19:
133:Proof theory
34:
21:
128:Modal logic
122:Categories
18:category
20:is
124::
39:.
104:L
92:J
80:I
68:H
56:F
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.