The Logic of Provability
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521433426, 9780521483254, 9780511625183

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quantified provability logic with one one-place predicate letter

The Logic of Provability ◽

10.1017/cbo9780511625183.020 ◽

1994 ◽

pp. 242-255

Keyword(s):

Provability Logic

Modal logic within set theory

The Logic of Provability ◽

10.1017/cbo9780511625183.015 ◽

1994 ◽

pp. 165-176

Keyword(s):

Modal Logic ◽

Set Theory

Notation and symbols

The Logic of Provability ◽

10.1017/cbo9780511625183.023 ◽

1994 ◽

pp. 276-276

Quantified provability logic

The Logic of Provability ◽

10.1017/cbo9780511625183.019 ◽

1994 ◽

pp. 219-241

Keyword(s):

Provability Logic

The fixed point theorem

The Logic of Provability ◽

10.1017/cbo9780511625183.010 ◽

1994 ◽

pp. 104-123

Keyword(s):

Fixed Point ◽

Fixed Point Theorem ◽

Point Theorem ◽

The Fixed Point Theorem

The box as Bew(x)

The Logic of Provability ◽

10.1017/cbo9780511625183.005 ◽

1994 ◽

pp. 51-67

The arithmetical completeness theorems for GL and GLS

The Logic of Provability ◽

10.1017/cbo9780511625183.011 ◽

1994 ◽

pp. 124-137

Keyword(s):

Completeness Theorems

Completeness and decidability of GL and K, K4, T, B, S4, and S5

The Logic of Provability ◽

10.1017/cbo9780511625183.007 ◽

1994 ◽

pp. 78-84

An incomplete system of modal logic

The Logic of Provability ◽

10.1017/cbo9780511625183.013 ◽

1994 ◽

pp. 148-154

Keyword(s):

Modal Logic ◽

Incomplete System

On GLB: The fixed point theorem, letterless sentences, and analysis

The Logic of Provability ◽

10.1017/cbo9780511625183.018 ◽

1994 ◽

pp. 208-218

Keyword(s):

Fixed Point ◽

Fixed Point Theorem ◽

Point Theorem ◽

The Fixed Point Theorem