scientific article; zbMATH DE number 1320664

From MaRDI portal

Publication:4257091

Jump to:navigation, search

zbMath0929.03058MaRDI QIDQ4257091

T. L. Sidon

Publication date: 25 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidability provability logic axiomatization arithmetical completeness labeled modalities for individual proofs modal operator for formal provability operational modal logic

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4257091&oldid=18155401"