Realizations and LP

DOI10.1016/J.APAL.2009.07.010zbMath1221.03020OpenAlexW2031962352MaRDI QIDQ636276

Melvin Fitting

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.010

zbMATH Keywords

modal logiclogic of proofsjustification logicrealization theoremlogic of knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (9)

Modal logics, justification logics, and realization ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic ⋮ Self-referentiality of Brouwer-Heyting-Kolmogorov semantics ⋮ A realization theorem for the Gödel-Löb provability logic ⋮ Realization for justification logics via nested sequents: modularity through embedding ⋮ The ontology of justifications in the logical setting ⋮ Realizing public announcements by justifications ⋮ On non-self-referential fragments of modal logics

Cites Work

• The logic of proofs, semantically
• A simple propositional \(\text{S}5\) tableau system
• Explicit Provability and Constructive Semantics
• Evidence Reconstruction of Epistemic Modal Logic S5
• Self-referentiality of Justified Knowledge
• THE LOGIC OF JUSTIFICATION
• Reasoning with Justifications
• The Realization Theorem for S5 A Simple, Constructive Proof
• Realizations and LP

This page was built for publication: Realizations and LP