Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

article · 1991

34 citationsDOI: https://doi.org/10.1007/bf00370386Open access

Explicit Fixed Points in Interpretability Logic