Volume 50; Issue 1

Studia Logica

Volume 50; Issue 1
1

Provability: the emergence of a mathematical modality

George Boolos, Giovanni Sambin
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 1.28 MB
english, 1991
2

A note on the normal form of closed formulas of interpretability logic

Petr Hájek, Vítězslav Švejdar
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 183 KB
english, 1991
3

Some independence results in interpretability logic

Vítězslav Švejdar
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 499 KB
english, 1991
4

Explicit Fixed Points in Interpretability Logic

Dick Jongh, Albert Visser
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 496 KB
english, 1991
5

On the proof of Solovay's theorem

Dick Jongh, Marc Jumelet, Franco Montagna
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 892 KB
english, 1991
6

Rosser orderings and free variables

Dick Jongh, Franco Montagna
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 516 KB
english, 1991
7

The formalization of Interpretability

Albert Visser
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 1.45 MB
english, 1991
8

Provability logics for natural turing progressions of arithmetical theories

L. D. Beklemishev
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 974 KB
english, 1991
9

Some unifying fixed point principles

Raymond M. Smullyan
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 801 KB
english, 1991
10

The Lindenbaum fixed point algebra is undecidable

V. Yu. Shavrukov
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 263 KB
english, 1991
11

Predicate provability logic with non-modalized quantifiers

Giorgie Dzhaparidze
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 585 KB
english, 1991
12

Books received

Janusz Czelakowski, Lawrence S. Moss
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 1.01 MB
english, 1991
13

Provability Logic || Explicit Fixed Points in Interpretability Logic

Dick de Jongh and Albert Visser
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 1.00 MB
english, 1991
14

Provability Logic || Some Unifying Fixed Point Principles

Raymond M. Smullyan
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 1.39 MB
english, 1991
15

Provability Logic || Rosser Orderings and Free Variables

Dick de Jongh and Franco Montagna
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 1004 KB
english, 1991
16

Provability Logic || The Formalization of Interpretability

Albert Visser
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 2.59 MB
english, 1991
17

Provability Logic || On the Proof of Solovay's Theorem

Dick de Jongh, Marc Jumelet and Franco Montagna
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 1.67 MB
english, 1991
18

Provability Logic || Some Independence Results in Interpretability Logic

Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 1.00 MB
english, 1991
21

Provability Logic || Front Matter

Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 306 KB
english, 1991
22

Provability Logic || Back Matter

Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 310 KB
english, 1991
23

Provability Logic || Intensional Mathematicsby Stuart Shapiro

Review by: Alasdair Urquhart
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 355 KB
english, 1991
24

Provability Logic || A Note on the Normal Form of Closed Formulas of Interpretability Logic

Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 454 KB
english, 1991
26

Provability Logic || Provability: The Emergence of a Mathematical Modality

George Boolos and Giovanni Sambin
Journal:
Studia Logica
Year:
1991
Language:
english
File:
PDF, 2.48 MB
english, 1991