scientific article; zbMATH DE number 1114356

zbMath0888.03009MaRDI QIDQ4376078

Tatiana Sidon

Publication date: 1 June 1998

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

zbMATH Keywords

provability logicaxiomatizationoperational modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (4)

Topological Semantics of Justification Logic ⋮ Justified common knowledge ⋮ Logic of proofs and provability ⋮ Provability logics with quantifiers on proofs

This page was built for publication: