Quasi-realization

DOI10.1007/978-3-662-54332-0_17zbMATH Open1428.03047OpenAlexW2913863478MaRDI QIDQ2284501FDOQ2284501

Authors: Melvin Fitting 

Publication date: 15 January 2020

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

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

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)

Cited In (12)

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

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)