scientific article; zbMATH DE number 1032008

zbMath0875.03049MaRDI QIDQ4343989

Craig Smorynski

Publication date: 8 July 1997

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

Mathematics Subject Classification ID

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

Related Items

On Guaspari's problem about partially conservative sentences, An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP, Does the deduction theorem fail for modal logic?, Polynomially and superexponentially shorter proofs in fragments of arithmetic, Modal frame correspondences and fixed-points, Coinduction in Flow: The Later Modality in Fibrations, Topological modal logics satisfying finite chain conditions, Circular proofs for the Gödel-Löb provability logic, REFLECTION RANKS AND ORDINAL ANALYSIS, On Blass translation for Leśniewski's propositional ontology and modal logics