Self-Reference and Modal Logic - Universitext
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer New York

9780387962092, 9781461386018

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bi-Modal Logics and Their Arithmetic Interpretations

Self-Reference and Modal Logic - Universitext ◽

10.1007/978-1-4613-8601-8_5 ◽

1985 ◽

pp. 167-216

Author(s):

C. Smoryński

Keyword(s):

Modal Logics

Download Full-text

An Ubiquitous Fixed Point Calculation

Self-Reference and Modal Logic - Universitext ◽

10.1007/978-1-4613-8601-8_8 ◽

1985 ◽

pp. 298-329

Author(s):

C. Smoryński

Keyword(s):

Fixed Point ◽

Point Calculation

Download Full-text

Provability as Modality

Self-Reference and Modal Logic - Universitext ◽

10.1007/978-1-4613-8601-8_2 ◽

1985 ◽

pp. 63-86

Author(s):

C. Smoryński

Download Full-text

Introduction

Self-Reference and Modal Logic - Universitext ◽

10.1007/978-1-4613-8601-8_1 ◽

1985 ◽

pp. 1-62

Author(s):

C. Smoryński

Download Full-text

Arithmetic Interpretations of PRL

Self-Reference and Modal Logic - Universitext ◽

10.1007/978-1-4613-8601-8_4 ◽

1985 ◽

pp. 133-165

Author(s):

C. Smoryński

Download Full-text

Modal Model Theory

Self-Reference and Modal Logic - Universitext ◽

10.1007/978-1-4613-8601-8_3 ◽

1985 ◽

pp. 87-132

Author(s):

C. Smoryński

Keyword(s):

Model Theory ◽

Modal Model

Download Full-text

Rosser Sentences

Self-Reference and Modal Logic - Universitext ◽

10.1007/978-1-4613-8601-8_7 ◽

1985 ◽

pp. 255-297

Author(s):

C. Smoryński

Download Full-text

Fixed Point Algebras

Self-Reference and Modal Logic - Universitext ◽

10.1007/978-1-4613-8601-8_6 ◽

1985 ◽

pp. 217-254

Author(s):

C. Smoryński

Keyword(s):

Fixed Point

Download Full-text