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 (4)

• S4LP and Local Realizability
• Realizations and LP
• On non-self-referential fragments of modal logics
• 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)