Maximality in modal logic

DOI10.1016/0168-0072(87)90068-6zbMath0624.03013OpenAlexW2059928120MaRDI QIDQ1092032

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

maximalityKripke modelS4Grzegorczyk's modal logic Grziterated Ramsey theoremmodal arithmetic formulas

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Integrating classical and intuitionistic type theory
• Intensional mathematics
• Provability, truth, and modal logic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Some properties of epistemic set theory with collection
• On systems of modal logic with provability interpretations
• Some relational systems and the associated topological spaces
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Maximality in modal logic