Albert Visser. A course on bimodal provability logic. Annals of pure and applied logic, vol. 73 , pp. 109–142

Journal of Symbolic Logic 62 (2):686-687 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275562

Other Versions

original Montagna, Franco (1997) "Review: Albert Visser, A Course on Bimodal Provability Logic". Journal of Symbolic Logic 62(2):686-687

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 , pp. 225–261. [REVIEW]J. B. Paris - 2000 - Bulletin of Symbolic Logic 6 (2):223-225.
Franco Montagna’s Work on Provability Logic and Many-valued Logic.Lev Beklemishev & Tommaso Flaminio - 2016 - Studia Logica 104 (1):1-46.
Ehud Hrushovski. Unidimensional theories are superstable. Annals of pure and applied logic, vol. 50 , pp. 117–138. - Ehud Hrushovski. Almost orthogonal regular types. Annals of pure and applied logic, vol. 45 , pp. 139–155. [REVIEW]Frank Wagner - 1992 - Journal of Symbolic Logic 57 (2):762-763.
Andreas Blass. Selective ultrafilters and homogeneity. Annals of pure and applied logic, vol. 38 , pp. 215–255. - Claude Laflamme. Forcing with filters and complete combinatorics. Annals of pure and applied logic, vol. 42 , pp. 125–163. [REVIEW]Peter J. Nyikos - 1991 - Journal of Symbolic Logic 56 (4):1490-1492.

Analytics

Added to PP
2016-06-30

Downloads
20 (#1,031,318)

6 months
8 (#528,772)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references