Switch to: Citations

References in:

A sequent system of the logic r− for Rosser sentences2

Katsumi Sasaki & Shigeo Ohama

Bulletin of the Section of Logic 33 (1):11-21 (2004)

Add references

You must login to add references.

A Simplification of a Completeness Proof of Guaspari and Solovay.Dick H. J. de Jongh - 1987 - Studia Logica 46 (2):187-192.details The modal completeness proofs of Guaspari and Solovay for their systems R and R⁻ are improved and the relationship between R and R⁻ is clarified. Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 14 citations
On modal systems having arithmetical interpretations.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (3):935-942.details Interpretation of Quantum Mechanics in Philosophy of Physical Science Mathematical Logic in Philosophy of Mathematics Provability Logic in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 24 citations

1