Magari's theorem via the recession frame

DOI10.1007/BF00250613zbMath0621.03009OpenAlexW2087899153MaRDI QIDQ1090325

M. J. Cresswell

Publication date: 1987

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00250613

zbMATH Keywords

incompleteness-proofnormal modal system GHrecession-frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Incompleteness and the Barcan formula, Unnamed Item, Some descending chains of incomplete modal logics, A simple incomplete extension of T which is the union of two complete modal logics with f. m. p