The Realization Theorem for S5 A Simple, Constructive Proof

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

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)

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)