The realization theorem for S5 a simple, constructive proof

DOI10.1007/978-94-007-0714-6_4zbMATH Open1317.03024OpenAlexW144516120MaRDI QIDQ5261292FDOQ5261292

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

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

zbMATH Keywords

justification logicsrealization theorem

Mathematics Subject Classification ID

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

Cited In (4)

• Realizations and LP
• Realizing public announcements by justifications
• Realization for justification logics via nested sequents: modularity through embedding
• 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)