Quasi-realization

DOI10.1007/978-3-662-54332-0_17MaRDI QIDQ2284501zbMATHOpenAlexFDO

Authors Melvin Fitting

Publication date 15 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-54332-0_17

zbMATH Keywords

modal logicrealizationjustification logictableauquasi-realization

Mathematics Subject Classification ID

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

Recommendations

• Realizations and LP
• Realization using the model existence theorem
• Modal logics, justification logics, and realization
• Realizations and LP
• Realization theorem for epistemic logic with justification

Cited in

(12)

• S4LP and Local Realizability
• Justification logic. Reasoning with reasons
• Realization theorem for epistemic logic with justification
• A realization theorem for the Gödel-Löb provability logic
• Cut elimination and realization for epistemic logics with justification
• The realization theorem for S5 a simple, constructive proof
• Non-circular proofs and proof realization in modal logic
• On non-self-referential fragments of modal logics
• Realization using the model existence theorem
• scientific article; zbMATH DE number 3334715 (Why is no real title available?)
• Realizations and LP
• Realization theorems for justification logics: full modularity

This page was built for publication: Quasi-realization

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