The Realization Theorem for S5 A Simple, Constructive Proof

DOI10.1007/978-94-007-0714-6_4zbMath1317.03024OpenAlexW144516120MaRDI QIDQ5261292

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)

Related Items (4)

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

This page was built for publication: The Realization Theorem for S5 A Simple, Constructive Proof