The realization theorem for S5 a simple, constructive proof

DOI10.1007/978-94-007-0714-6_4MaRDI QIDQ5261292zbMATHOpenAlexFDO

Authors Melvin Fitting

Publication date 3 July 2015

Published in Games, Norms and Reasons (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0714-6_4

zbMATH Keywords

justification logicsrealization theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Modal logics, justification logics, and realization
• Realization using the model existence theorem
• A realization theorem for the Gödel-Löb provability logic
• Quasi-realization
• Realization theorems for justification logics: full modularity

Cited in

(4)

• Realizing public announcements by justifications
• Realization for justification logics via nested sequents: modularity through embedding
• Realizations and LP
• On non-self-referential fragments of modal logics

This page was built for publication: The realization theorem for S5 a simple, constructive proof

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