Maximality in modal logic

DOI10.1016/0168-0072(87)90068-6MaRDI QIDQ1092032zbMATH OpenOpenAlexFDO

Authors Harvey M. Friedman, Robert C. Flagg

Publication date 1987

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(87)90068-6

zbMATH Keywords

Grzegorczyk's modal logic Grziterated Ramsey theoremKripke modelmaximalitymodal arithmetic formulasS4

Mathematics Subject Classification ID

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

Review text

A system FP of propositional logic is maximal for the corresponding system FA of arithmetic if the underivability of \(A(p_ 1,...,p_ n)\) in FP implies underivability in FA of \(A(B_ 1,...,B_ n)\) for some sentences \(B_ 1,...,B_ n\) of FA. The authors prove maximality for Grzegorczyk's modal logic Grz and for S4. For Grz the proof is modelled after \textit{C. Smorynski}'s argument (Applications of Kripke models, in \textit{A. Troelstra}'s volume [Lecture Notes Math. 344 (1973; Zbl 0275.02025)]). Falsifying sentences \(B_ i\) are constructed in rather natural way from \(\Sigma^ 0_ 1\)-sentences completely independent over PA. The proof for S4 is much more complicated and may be even more important than the final result. The main novel feature is verification of the induction axiom in the constructed Kripke model. A version of iterated Ramsey theorem and a translation of modal arithmetic formulas in non-modal ones are developed to achieve this.

Recommendations

• Publication:3495340
• scientific article; zbMATH DE number 1166301
• On modal systems having arithmetical interpretations
• scientific article; zbMATH DE number 2020141
• Undecidable properties of extensions of provability logic. II

Cites work

• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• Integrating classical and intuitionistic type theory
• Intensional mathematics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On systems of modal logic with provability interpretations
• Provability, truth, and modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Some properties of epistemic set theory with collection
• Some relational systems and the associated topological spaces

Cited in

(5)

• Maximal-element rationalizability
• Maximality of the minimal R-logic
• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• scientific article; zbMATH DE number 7184880 (Why is no real title available?)
• Maximality and refutability

This page was built for publication: Maximality in modal logic

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