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 629608
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.