scientific article; zbMATH DE number 1032008

MaRDI QIDQ4343989zbMATH OpenFDO

Authors Craig Smoryński

Publication date 8 July 1997

Mathematics Subject Classification ID

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

Cited in

(15)

• On Blass translation for Leśniewski's propositional ontology and modal logics
• On Guaspari's problem about partially conservative sentences
• Circular proofs for the Gödel-Löb provability logic
• Modal frame correspondences and fixed-points
• scientific article; zbMATH DE number 3928959 (Why is no real title available?)
• Does the deduction theorem fail for modal logic?
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Polynomially and superexponentially shorter proofs in fragments of arithmetic
• Reflection ranks and ordinal analysis
• On non-self-referential fragments of modal logics
• scientific article; zbMATH DE number 5029987 (Why is no real title available?)
• Coinduction in Flow: The Later Modality in Fibrations
• Topological modal logics satisfying finite chain conditions
• An abstract look at the fixed-point theorem for provability logic
• Ruth Barcan Marcus on the Deduction Theorem in Modal Logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4343989)