scientific article; zbMATH DE number 515725

zbMath0802.03012MaRDI QIDQ4283226

Tyko Straßen, Sergej N. Artemov

Publication date: 4 April 1994

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

zbMATH Keywords

modal logicPeano arithmeticprovability logicaxiomatizationslabelled modalities

Mathematics Subject Classification ID

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

Related Items

Logic of proofs, Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete, Syntactical models and fixed points for the basic logic of proofs, A Logic of Knowledge and Belief Based on Abstract Arguments, Justification logic with confidence, The Logic of Justification, Symmetric Logic of Proofs