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

Kripke modelS4maximalityGrzegorczyk's modal logic Grziterated Ramsey theoremmodal arithmetic formulas

Mathematics Subject Classification ID

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

Recommendations

• Publication:3495340
• Publication:4396604
• On modal systems having arithmetical interpretations
• Publication:4440790
• 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)

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

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)