Realization using the model existence theorem

DOI10.1093/LOGCOM/EXT025zbMath1403.03030OpenAlexW2070949243MaRDI QIDQ2804327

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

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

Related Items (3)

Possibilistic Justification Logic ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ On non-self-referential fragments of modal logics

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