Realizations and LP
type: Item
instance of: scholarly article
title: Realizations and LP
zbMATH Open document ID: 1221.03020
author: Melvin Fitting
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 5943595
zbMATH Keywords: logic of proofs
zbMATH Keywords: justification logic
zbMATH Keywords: logic of knowledge
zbMATH Keywords: modal logic
zbMATH Keywords: realization theorem
MaRDI profile type: Publication
full work available at URL: j.apal.2009.07.010
OpenAlex ID: W2031962352
cites work: Explicit provability and constructive semantics
cites work: THE LOGIC OF JUSTIFICATION
cites work: A simple propositional \(\text{S}5\) tableau system
cites work: The logic of proofs, semantically
cites work: Realizations and LP
cites work: Reasoning with Justifications
cites work: The Realization Theorem for S5 A Simple, Constructive Proof
cites work: Self-referentiality of Justified Knowledge
cites work: Evidence Reconstruction of Epistemic Modal Logic S5
DOI: 10.1016/J.APAL.2009.07.010
Recommended article: Realizations and LP
Recommended article: Lifschitz' realizability
Recommended article: Linear Realizability
Recommended article: Q4363043
Recommended article: Q4010415
Recommended article: Q4657090
Recommended article: Q4826819
Recommended article: Realization theory in Hilbert space
Recommended article: Realizations of maps
Recommended article: Realization and partial fractions
description: scientific article; zbMATH DE number 5943595