Realization using the model existence theorem

DOI10.1093/LOGCOM/EXT025MaRDI QIDQ2804327zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(13)

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

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)