Gupeametadata only
Arithmetical realizations of modal formulas. Preliminary version.
arithmetic, degrees of interpretability, diagonalizable algebra, interpretability logic, magari algebra, metamathematics, modal logic, provability logic.
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 411738
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.