Realization using the model existence theorem

DOI10.1093/LOGCOM/EXT025zbMATH Open1403.03030OpenAlexW2070949243MaRDI QIDQ2804327FDOQ2804327

Authors: Melvin Fitting 

Publication date: 28 April 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/21f91086d767db66ffc0ad731fba14c8f92d0a21

Recommendations

• Modal logics, justification logics, and realization
• Quasi-realization
• Realization for justification logics via nested sequents: modularity through embedding
• A syntactic realization theorem for justification logics
• Justification logic. Reasoning with reasons

zbMATH Keywords

epistemic logicrealizationjustification logicmodel existencelogic of proof

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Cited In (13)

• A syntactic realization theorem for justification logics
• Quasi-realization
• Modal logics, justification logics, and realization
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Justification logic for constructive modal logic
• Gödel justification logics and realization
• The realization theorem for S5 a simple, constructive proof
• Realization for justification logics via nested sequents: modularity through embedding
• Realizability Models Separating Various Fan Theorems
• A realization theorem for the Gödel-Löb provability logic
• On non-self-referential fragments of modal logics
• Realization theorems for justification logics: full modularity
• On the modal interpretation of the connective of realisation

This page was built for publication: Realization using the model existence theorem

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